m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore30logplain
-rw-r--r--Abs.hs666logplain
-rw-r--r--Eval.hs3915logplain
-rw-r--r--Makefile375logplain
-rw-r--r--README.md0logplain
-rw-r--r--Schmim.hs1674logplain
-rw-r--r--Typecheck.hs5101logplain
-rw-r--r--schmim.bnfc1541logplain