../ Entailment.hsFunctional Dependencies (#2279)10 years ago Kinds.hsFunctional Dependencies (#2279)10 years ago Monad.hsFunctional Dependencies (#2279)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 Types.hsRefactor subsumes function (#2364)10 years ago Unify.hsFunctional Dependencies (#2279)10 years ago