[Haskell-cafe] Re: Theory about uncurried functions

Luke Palmer wrote:

I don't think set theory is trivial in the least. I think it is complicated, convoluted, often anti-intuitive and nonconstructive.

Waaaaaaagh! I mean trivial in the mathematical sense, as in how far away from the axioms you are. The other kind of "triviality" of set theory just proves the point I made about CT vs. lambda calculus. -- (c) this sig last receiving data processing entity. Inspect headers for copyright history. All rights reserved. Copying, hiring, renting, performance and/or quoting of this signature prohibited.