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

G'day all. Quoting Achim Schneider :

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