git.iko.soy/rowtype-yoga/purescript-native
on 0fc5d6b help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsAdd internalError, make some of @garyb's suggested changes. Kinds.hsAdd internalError, make some of @garyb's suggested changes. Monad.hsAdd internalError, make some of @garyb's suggested changes. Rows.hsExpand type synonyms eagerly Skolems.hsAdd internalError, make some of @garyb's suggested changes. Subsumption.hsFix #1315 Synonyms.hsChange data structure for error message hints Types.hsMerge pull request #1567 from purescript/1315 Unify.hsAdd internalError, make some of @garyb's suggested changes.