1 Jan
2015
1 Jan
'15
9:19 a.m.
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.".