]> ruin.nu Git - proglang.git/tree
typechecker compiles but can't be run
-rw-r--r-- 935 Abs.hs
-rw-r--r-- 1655 Typecheck.hs
-rw-r--r-- 1800 documentation
drwxr-xr-x - examples
-rw-r--r-- 1780 syntax.cf