../ Entailment.hsSolving CompareSymbol and AppendSymbol (#2511)10 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.hsAdd support for user defined kinds (#2486)10 years ago Unify.hsUse Text over String (#2418)10 years ago