git.iko.soy/rowtype-yoga/purescript-native
on 38981e8 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsRemove all use of the Error typeclass (from mtl) Kinds.hsA start on #745 - a type for error messages Monad.hsA bit more progress on errors Rows.hsA start on #745 - a type for error messages Skolems.hsA bit more progress on errors Subsumption.hsRemove erroneous MonadPlus instance after move to ExceptT. Synonyms.hsA bit more progress on errors Types.hsA start on #745 - a type for error messages Unify.hsRemove erroneous MonadPlus instance after move to ExceptT.