1 Jan
2015
1 Jan
'15
9:22 a.m.
i want it to be at least as fine grained as extensional equivalence
Then see Oleg's comment or am i missing something here? On Jan 1, 2015 3:19 PM, "Tom Ellis" < tom-lists-haskell-cafe-2013@jaguarpaw.co.uk> wrote:
On Thu, Jan 01, 2015 at 03:17:13PM +0100, Atze van der Ploeg wrote:
Taking
Instance Eq a where _ == _ = True
Then it has all the properties you mentoined
Right, hence my latest clarification that "Futhermore I want (==) to be at least as fine-grained as extensional equivalence.". _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe