update week1 notes

diff --git a/week1.mdwn b/week1.mdwn
index 53d69dd..a419c87 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -558,12 +558,12 @@ It may be helpful to contrast these recursive-style definitons to the way one wo
 
 `let`  
   `empty? match` λ `xs.` *this definition left as an exercise*;  
-  `tail match` λ `xs.` *this definition left as an exercise*  
+  `tail match` λ `xs.` *this definition left as an exercise*;  
   `length match` λ `xs. let`  
-       `n := 0;`  
-       `while not (empty? xs) do`  
-         `n := n + 1;`  
-         `xs := tail xs`  
-       `end`  
-     `in n`  
+              `n := 0;`  
+              `while not (empty? xs) do`  
+                `n := n + 1;`  
+                `xs := tail xs`  
+              `end`  
+            `in n`