Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 30 | logplain |
-rw-r--r-- | Abs.hs | 798 | logplain |
-rw-r--r-- | Eval.hs | 3915 | logplain |
-rw-r--r-- | Makefile | 375 | logplain |
-rw-r--r-- | README.md | 0 | logplain |
-rw-r--r-- | Schmim.hs | 1654 | logplain |
-rw-r--r-- | Typecheck.hs | 5101 | logplain |
d--------- | bad | 248 | logplain |
d--------- | good | 312 | logplain |
-rw-r--r-- | schmim.bnfc | 1541 | logplain |