git.iko.soy/rowtype-yoga/purescript-native
on e1ecb6b help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsMore progress on error messages Kinds.hsMore progress on error messages Monad.hsA bit more progress on errors Rows.hsTypechecker error messages Skolems.hsMore progress on error messages Subsumption.hsMore progress on error messages Synonyms.hsA bit more progress on errors Types.hsFix typechecking of constrained type values Unify.hsMore progress on error messages