It's all Geek to me?

Jacob Fugal lukfugl at
Wed Feb 21 15:01:07 MST 2007

On 2/21/07, Daniel C. <dcrookston at> wrote:
> 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?

True. I was a bit inconsistent in my notation (+ a b) should have been
((+ a) b) to be more correct.

Jacob Fugal

More information about the PLUG mailing list