git.iko.soy/rowtype-yoga/purescript-native
on f1dfe1e help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsremoves superfluous constraints. Kinds.hsremoves superfluous constraints. Monad.hsremoves superfluous constraints. Rows.hsremoves superfluous constraints. Skolems.hsremoves superfluous constraints. Subsumption.hsremoves superfluous constraints. Synonyms.hsremoves superfluous constraints. Types.hsremoves superfluous constraints. Unify.hsremoves superfluous constraints.