../ Entailment.hsfixes #2438: represent PureScript strings as sequence of Word1610 years ago Kinds.hsAdd support for user defined kinds (#2486)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.hsfixes #2438: represent PureScript strings as sequence of Word1610 years ago Unify.hsfixes #2438: represent PureScript strings as sequence of Word1610 years ago