git.iko.soy/rowtype-yoga/purescript-native
on 77a6451 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsOops, fix #1140, fix #1310 Kinds.hsUnify LANGUAGE pragma layouts Monad.hsUnify LANGUAGE pragma layouts Rows.hsRelax the lower bound on transformers Skolems.hsRemove redundant import warnings for 7.10 Subsumption.hsFix #421, match type instance heads eagerly Synonyms.hsUnify LANGUAGE pragma layouts Types.hsImprove warning error locations from typechecker Unify.hsUnify LANGUAGE pragma layouts