"Daniel C." <[EMAIL PROTECTED]> writes:
>
> Doesn't it also require that all functions can take only one argument?
>
Yes, but since lambda bindings nest, multiple-variable lambda calculus
is trivially transformed to single-variable lambda calculus. It's
also traditionally written in a somewhat different notation:
<lambda> a . a would be the identity function. Assume <lambda> is
replaced with the lambda character; I'm too lazy to figure out how to
type it right now. :)
--Levi
/*
PLUG: http://plug.org, #utah on irc.freenode.net
Unsubscribe: http://plug.org/mailman/options/plug
Don't fear the penguin.
*/
