git.iko.soy/rowtype-yoga/purescript-native
on 14b2310 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hs-> 0.7.0.0 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.hsRemove array type notation and cons binders Unify.hsRelax the lower bound on transformers