[Haskell-cafe] Equality of functions

[Keean Schupke]

oleg at pobox.com wrote:

>That is too pessimistic, I'm afraid. There is also an intensional
>equality. Granted, it can be sound but never, in general, complete
>(although it can be total). That is, if the comparison function
>returns True, then the arguments truly denote the same, identically the
>same function. If the answer is False, well, we don't know. The
>arguments may still denote the same function.
>  
>
That means it is a four valued modal logic... it should really
return AllTrue or SomeFalse... (I think, assuming that the false
meant at least one false answer).

Keean.