update week1 notes

[lambda.git] / week1.mdwn

diff --git a/week1.mdwn b/week1.mdwn
index 1f50036..8a305e7 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -430,7 +430,7 @@ Here φ should evaluate to a boolean, and ψ and χ should evaluate to
 We said that that could be taken as shorthand for the following `case`-expression:
 
 `case` φ `of`  
-  `'true then` ψ  
+  `'true then` ψ`;`  
   `'false then` χ  
 `end`