It's all Geek to me?

Daniel C. dcrookston at
Wed Feb 21 13:54:23 MST 2007

On 2/21/07, Jacob Fugal <lukfugl at> wrote:
> [1] I've cheated and augmented the formal lambda calculus with
> integers and the + function. The strictly formal lambda calculus,
> being as simple as possible, doesn't include these concepts.

Doesn't it also require that all functions can take only one argument?

More information about the PLUG mailing list