[Haskell-cafe] Re: Wikipedia on first-class object

[ajb at spamcop.net]

G'day all.

Quoting Achim Schneider <barsoap at web.de>:

> And if it wouldn't? After all, arguing that |N == |N is undefined
> because it takes too long to check would earn you a straight F in any
> math test.

That's only because you spelled it incorrectly for the purpose of
a maths test.  Had you written this:

\[ (\N =_w \N) = \bot \]

you'd be on firmer ground.

Cheers,
Andrew Bromage