Re: On Eq, was Re: [Haskell-cafe] When to use fancy types [Re: NumberTheory library]

Jacques Carette wrote:

Anyone who thinks that +0 = -0 has never wrestled with a branch cut (and lost...). Such people have the nasty habit of also thinking that ALL functions are continuous! You might think they were constructivists or something. Why would a constructivist think that all functions are continuous? It makes no sense.

-- Lennart