[skip ci] Improve the documentation of the CNF primops. In this context, the term...
[ghc.git] / compiler / types /
drwxr-xr-x   ..
-rw-r--r-- 12762 Class.hs
-rw-r--r-- 20974 CoAxiom.hs
-rw-r--r-- 112154 Coercion.hs
-rw-r--r-- 1817 Coercion.hs-boot
-rw-r--r-- 73693 FamInstEnv.hs
-rw-r--r-- 42116 InstEnv.hs
-rw-r--r-- 3266 Kind.hs
-rw-r--r-- 42768 OptCoercion.hs
-rw-r--r-- 168340 TyCoRep.hs
-rw-r--r-- 623 TyCoRep.hs-boot
-rw-r--r-- 109160 TyCon.hs
-rw-r--r-- 162 TyCon.hs-boot
-rw-r--r-- 123385 Type.hs
-rw-r--r-- 679 Type.hs-boot
-rw-r--r-- 61243 Unify.hs