On Thu, Jan 01, 2015 at 03:22:55PM +0100, Atze van der Ploeg wrote:
i want it to be at least as fine grained as extensional equivalence
Then see Oleg's comment or am i missing something here?
Perhaps you could explain Oleg's comment. I don't understand it.
