git.iko.soy/rowtype-yoga/purescript-native
on b11114e help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsMerge @garyb's core functional AST changes, fixes #710 Kinds.hsPort previous type wildcards implementation Monad.hsBreak up Declarations Rows.hsBreak up Declarations Skolems.hsBreak up Declarations Subsumption.hsBreak up Declarations Synonyms.hsSplit up typechecker Types.hsAdd field names to environment entries for dctors Unify.hsPort previous type wildcards implementation