add Lennon link
[lambda.git] / topics / week3_church_arithmetic.mdwn
index 55f5ab2..8907c12 100644 (file)
@@ -71,3 +71,5 @@ Interestingly, `mul l r` defined in that second way eta-reduces to `\f. r (l f)`
 If we continue in this direction, we end up defining `l^r` (where `2^5` is `32`) either as `r (mul l) one` or as the *application* `r l` of `r` to `l`.
 
 Not all of the arithmetic encodings are so neat and elegant, however. As we mentioned, `pred` takes some ingenuity. We'll also have you define `zero?` and <code>&leq;</code> for homework.
 If we continue in this direction, we end up defining `l^r` (where `2^5` is `32`) either as `r (mul l) one` or as the *application* `r l` of `r` to `l`.
 
 Not all of the arithmetic encodings are so neat and elegant, however. As we mentioned, `pred` takes some ingenuity. We'll also have you define `zero?` and <code>&leq;</code> for homework.
+
+Here is an example of [some programmers having fun with Church numbers](http://www.schemers.org/Miscellaneous/imagine.txt).