Add hand_monoid support (#81)

This commit is contained in:
fluxionary
2023-01-15 05:16:44 -08:00
committed by GitHub
parent 6db9a55f0c
commit b49907c4b1
3 changed files with 16 additions and 5 deletions

View File

@@ -10,4 +10,5 @@ globals = {
read_globals = {
string = {fields = {"split", "trim"}},
table = {fields = {"copy", "getn"}},
"hand_monoid",
}