summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore79logplain
-rw-r--r--AST.hs10644logplain
-rw-r--r--Debug.hs310logplain
-rw-r--r--Main.hs5734logplain
-rw-r--r--Parser.hs6166logplain
-rw-r--r--PrettyPrint.hs287logplain
-rw-r--r--Simplify.hs4645logplain
-rw-r--r--Utility.hs924logplain
-rw-r--r--math.cabal482logplain
-rw-r--r--rules.txt3236logplain
-rw-r--r--stack.yaml74logplain