git.iko.soy/rowtype-yoga/purescript-native
on 3ed6f05 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsInfer types with class constraints (work in progress) Kinds.hsDistinguish between the different ProperNames Monad.hsDistinguish between the different ProperNames Rows.hsNew approach to unification Skolems.hsAdd information about skolems to type errors Subsumption.hsAdd information about skolems to type errors Synonyms.hsUse base-compat across package Types.hsInfer types with class constraints (work in progress) Unify.hsAdd information about skolems to type errors