mn.(IF (IS_ZERO m) n (ADD (PRED m) (SUCC n)))
| September 22, 1999 | Strong Typing | Slide #27 |
Let's make an addition function now
It will look something like this:
ADD = mn.(IF (IS_ZERO m) n (ADD (PRED m) (SUCC n)))
Whoops!
How can we use ADD in its own definition?
| Next |  |
Copyright © 1999 M-J. Dominus |