70b7b8626310

--- 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