Upcoming
Differences between current version and previous revision of LambdaCalculus.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 11 | Last edited on Friday, January 13, 2006 11:02:16 pm | by ToniMarsh | |
| Older page: | version 10 | Last edited on Sunday, October 26, 2003 7:35:05 am | by AristotlePagaltzis | Revert |
@@ -29,10 +29,10 @@
which eventually expands to
three = λx(x x x)
Addition is easy
- addition
= λx.y.z(x z y z)
+ add
= λx.y.z(x z y z)
five = add two three
five = λx.y.z(x z y z) λa(a a) λa(a a a)
five = λz(Λa(a a) z λa(a a a) z)
five = λz(z z z z z)
