git.iko.soy/rowtype-yoga/purescript-native
on 2881a5b 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.hsPort previous type wildcards implementation Unify.hsPort previous type wildcards implementation