summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore15logplain
-rw-r--r--AST.hs1716logplain
-rw-r--r--ASTfunc.hs4653logplain
-rw-r--r--Eval.hs755logplain
-rw-r--r--Language.hs1580logplain
-rw-r--r--Main.hs560logplain
-rw-r--r--MonMap.hs568logplain
-rw-r--r--Show.hs2622logplain
-rw-r--r--Simplify.hs4942logplain
-rw-r--r--first-order-exprs.cabal640logplain