Differences between version 3 and previous revision of LambdaCalculus.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
Newer page: | version 3 | Last edited on Friday, October 24, 2003 12:47:40 pm | by PerryLorier | Revert |
Older page: | version 2 | Last edited on Friday, October 24, 2003 12:04:47 pm | by PerryLorier | Revert |
@@ -23,5 +23,16 @@
and a beta reduction on z
two = \y(y y)
we now have a function that outputs it's argument twice.
-And so on
.
+Three is obvious
+ three = sucessor two
+which eventually expands to
+ three = \x(x x x)
+
+Addiction is easy
+ addition = \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)