]> Git — Sourcephile - haskell/symantic.git/tree - Language/Symantic/Typing/
Clarify names, and add commentaries (bis).
[haskell/symantic.git] / Language / Symantic / Typing /
drwxr-xr-x   ..
-rw-r--r-- 6495 Constant.hs
-rw-r--r-- 2356 Constraint.hs
-rw-r--r-- 2011 Family.hs
lrwxrwxrwx 11 HLint.hs -> ../HLint.hs
-rw-r--r-- 4013 Kind.hs
-rw-r--r-- 2836 Test.hs
-rw-r--r-- 7235 Type.hs