git.iko.soy/rowtype-yoga/purescript-native
on bbf00f2 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsFix #870 Kinds.hsScoped type variables #347 Monad.hsFix up some remaining issues with scoped type variables. Rows.hsBreak up Declarations Skolems.hsScoped type variables #347 Subsumption.hsBreak up Declarations Synonyms.hsSplit up typechecker Types.hsFix up some remaining issues with scoped type variables. Unify.hsPrototype of a rows in instance contexts, based on @apsk's work.