../ Entailment.hsAdd support for user defined warnings via the Warn type class (#2569)10 years ago Kinds.hsReplace type wildcards earlier (#2535)10 years ago Monad.hsUse Text over String (#2418)10 years ago Rows.hsTravis tweaks (#2178)10 years ago Skolems.hsUse Text over String (#2418)10 years ago Subsumption.hsremove unneeded pragmas10 years ago Synonyms.hsDerive instances when data types use type synonyms (#2516)10 years ago TypeSearch.hsremove unneeded pragmas10 years ago Types.hsDon't expand synonyms until after kind checking (#2546)10 years ago Unify.hsfixes #2438: represent PureScript strings as sequence of Word1610 years ago