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

ajb at spamcop.net ajb at spamcop.net
Fri Dec 28 04:21:38 EST 2007


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


More information about the Haskell-Cafe mailing list