It's all Geek to me?

Levi Pearson levi at
Wed Feb 21 14:01:23 MST 2007

"Daniel C." <dcrookston at> 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 mailing list