[Haskell-cafe] Re: Theory about uncurried functions
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