week3 tweaks

[lambda.git] / week3.mdwn

diff --git a/week3.mdwn b/week3.mdwn
index 0129f2a..3fa20f6 100644 (file)
--- 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
        ...