../ Entailment.hsUse Text over String (#2418)10 years ago Kinds.hsUse Text over String (#2418)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.hsRefactor subsumes function (#2364)10 years ago Synonyms.hsNoImplicitPrelude, enable some global extensions (#2094)10 years ago TypeSearch.hsFix issue with typed holes in inference mode (#2386)10 years ago Types.hsUse Text over String (#2418)10 years ago Unify.hsUse Text over String (#2418)10 years ago