../ Entailment.hsSolving IsSymbol instances (#2429)10 years ago Kinds.hsFunctional Dependencies (#2279)10 years ago Monad.hsSolving IsSymbol instances (#2429)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.hs2374: Add error message for ambiguous type variables in inferred contexts (#2410)10 years ago Unify.hsFunctional Dependencies (#2279)10 years ago