| 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 | 256 | logplain |
| -rw-r--r-- | README.md | 158 | logplain |
| -rw-r--r-- | Schmim.hs | 1654 | logplain |
| -rw-r--r-- | Typecheck.hs | 5101 | logplain |
| d--------- | bad | 286 | logplain |
| d--------- | good | 272 | logplain |
| -rw-r--r-- | schmim.bnfc | 1541 | logplain |