../ Entailment.hsFix #2379, add error message for unknown classes (#2396)10 years ago Kinds.hsFunctional Dependencies (#2279)10 years ago Monad.hsFix issue with typed holes in inference mode (#2386)10 years ago Rows.hsTravis tweaks (#2178)10 years ago Skolems.hsNewtype Deriving (#2304)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.hsFix issue with typed holes in inference mode (#2386)10 years ago Unify.hsFunctional Dependencies (#2279)10 years ago