../ 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.hsDisallow polymorphic types in binders, prevent internalError (#2624)10 years ago Unify.hsfixes #2438: represent PureScript strings as sequence of Word1610 years ago