--- a/content/blog/2013/03/list-out-of-lambda.html Fri Nov 20 18:44:02 2015 +0000
+++ b/content/blog/2013/03/list-out-of-lambda.html Fri Nov 20 18:44:20 2015 +0000
@@ -767,7 +767,7 @@
This is another recursive definition. When adding two numbers, there are two
possibilities:
-* If `b` is zero, then anything plus zero is zero, so we can just return `a`.
+* If `b` is zero, then anything plus zero is itself, so we can just return `a`.
* Otherwise, adding `a + b` is the same as adding `(a + 1) + (b - 1)`.
Eventually `b` will "bottom out" and return `a` (which has been steadily getting