git.iko.soy/rowtype-yoga/purescript-native
on 0c35b83 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsrefactoring and cleaning up Kinds.hsUnify LANGUAGE pragma layouts Monad.hsWIP: new externs file format 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.hsrefactoring and cleaning up Unify.hsrefactoring and cleaning up