| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 15 | logplain |
| -rw-r--r-- | AST.hs | 1540 | 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 |
 |
index : first-order-exprs | |
| Attempt at a faster first-order expression simplifier | git daemon user |
| summaryrefslogtreecommitdiff |