It's all Geek to me?
lukfugl at gmail.com
Wed Feb 21 15:01:07 MST 2007
On 2/21/07, Daniel C. <dcrookston at gmail.com> wrote:
> On 2/21/07, Jacob Fugal <lukfugl at gmail.com> wrote:
> >  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.
More information about the PLUG