It's all Geek to me?
levi at cold.org
Wed Feb 21 14:01:23 MST 2007
"Daniel C." <dcrookston at gmail.com> 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. :)
More information about the PLUG