--- a/content/blog/2013/03/list-out-of-lambda.html Sun Aug 16 13:41:54 2015 +0000
+++ b/content/blog/2013/03/list-out-of-lambda.html Thu Sep 17 09:20:42 2015 -0700
@@ -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