git.iko.soy/rowtype-yoga/purescript-native
on 688fc66 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.hsAdd internalError, make some of @garyb's suggested changes. Synonyms.hsChange data structure for error message hints Types.hsAdd internalError, make some of @garyb's suggested changes. Unify.hsAdd internalError, make some of @garyb's suggested changes.