git.iko.soy/rowtype-yoga/purescript-native
on 18f3004 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.hsFix #810 and #814: don't infer polymorphic types for data constructors. Unify.hstrim trailing whitespace