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? /* PLUG: http://plug.org, #utah on irc.freenode.net Unsubscribe: http://plug.org/mailman/options/plug Don't fear the penguin. */
