On 2/21/07, Daniel C. <[EMAIL PROTECTED]> wrote:
On 2/21/07, Jacob Fugal <[EMAIL PROTECTED]> 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
/*
PLUG: http://plug.org, #utah on irc.freenode.net
Unsubscribe: http://plug.org/mailman/options/plug
Don't fear the penguin.
*/
