Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 15 | logplain |
-rw-r--r-- | AST.hs | 1716 | logplain |
-rw-r--r-- | ASTfunc.hs | 4653 | logplain |
-rw-r--r-- | Eval.hs | 755 | logplain |
-rw-r--r-- | Language.hs | 1580 | logplain |
-rw-r--r-- | Main.hs | 560 | logplain |
-rw-r--r-- | MonMap.hs | 568 | logplain |
-rw-r--r-- | Show.hs | 2622 | logplain |
-rw-r--r-- | Simplify.hs | 4942 | logplain |
-rw-r--r-- | first-order-exprs.cabal | 640 | logplain |