[Haskell-cafe] Re: Theory about uncurried functions

[Achim Schneider]

Luke Palmer <lrpalmer at gmail.com> 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.