update week1 notes
[lambda.git] / week1.mdwn
index a419c87..45fb42f 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`