[Haskell-cafe] Re: Theory about uncurried functions

Achim Schneider barsoap at web.de
Thu Mar 5 17:04:13 EST 2009

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.

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.

More information about the Haskell-Cafe mailing list