git.iko.soy/rowtype-yoga/purescript-native
on e65645e 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.hsAdd suggestion framework with "Did you mean composition" example Subsumption.hsRelax the lower bound on transformers Synonyms.hsAdd suggestion framework with "Did you mean composition" example Types.hsRemove array type notation and cons binders Unify.hsRelax the lower bound on transformers