It's all Geek to me?

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


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?



More information about the PLUG mailing list