Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 30 | logplain |
-rw-r--r-- | Abs.hs | 666 | 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 | 1674 | logplain |
-rw-r--r-- | Typecheck.hs | 5101 | logplain |
-rw-r--r-- | schmim.bnfc | 1541 | logplain |