update week1 notes
[lambda.git] / week1.mdwn
index 3984eec..1765c6b 100644 (file)
@@ -560,7 +560,7 @@ It may be helpful to contrast these recursive-style definitons to the way one wo
   `empty? match` λ `xs.` *this definition left as an exercise*;  
   `tail match` λ `xs.` *this definition left as an exercise*;  
   `length match` λ `xs. let`  
-                                             `n := 0;`  
+                                         `n := 0;`  
               `while not (empty? xs) do`  
                 `n := n + 1;`  
                 `xs := tail xs`