git.iko.soy/rowtype-yoga/purescript-native
on 943a37f help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsMerge remote-tracking branch 'upstream/master' into 0.7-dev Kinds.hsRelax the lower bound on transformers Monad.hsRelax the lower bound on transformers Rows.hsRelax the lower bound on transformers Skolems.hsRelax the lower bound on transformers Subsumption.hsRelax the lower bound on transformers Synonyms.hsRelax the lower bound on transformers Types.hsRelax the lower bound on transformers Unify.hsRelax the lower bound on transformers