From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 19 Sep 2010 12:52:26 +0000 (-0400)
Subject: week3 tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5d6405438fee2a81634a9d53bef64629621c1411

week3 tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/week3.mdwn b/week3.mdwn
index 0129f2a9..3fa20f61 100644
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -134,8 +134,8 @@ Some computable functions are just not definable in this way. The simplest funct
 		| else -> A(m-1, A(m,n-1))
 
 	A(0,y) = y+1
-	A(1,y) = y+2
-	A(2,y) = 2y + 3
+	A(1,y) = 2+(y+3) - 3
+	A(2,y) = 2(y+3) - 3
 	A(3,y) = 2^(y+3) - 3
 	A(4,y) = 2^(2^(2^...2)) [where there are y+3 2s] - 3
 	...