On 2/21/07, Jacob Fugal <lukfugl at gmail.com> 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?