]> Git — Sourcephile - haskell/symantic.git/tree
Complexify the type system to support rank-1 polymorphic types and terms.
-rw-r--r-- 82 .gitignore
-rw-r--r-- 721 GNUmakefile
drwxr-xr-x - symantic-grammar
drwxr-xr-x - symantic-lib
drwxr-xr-x - symantic