]> Git — Sourcephile - haskell/symantic.git/tree - symantic/Language/Symantic/Typing/
Improve dynamic insertion of terms (via CtxTy or Modules).
[haskell/symantic.git] / symantic / Language / Symantic / Typing /
drwxr-xr-x   ..
-rw-r--r-- 4206 Grammar.hs
lrwxrwxrwx 11 HLint.hs -> ../HLint.hs
-rw-r--r-- 4504 Kind.hs
-rw-r--r-- 2601 List.hs
-rw-r--r-- 2029 Peano.hs
-rw-r--r-- 3985 Read.hs
-rw-r--r-- 4637 Show.hs
-rw-r--r-- 23206 Type.hs
-rw-r--r-- 7650 Unify.hs
-rw-r--r-- 6232 Variable.hs