tweak week{2,3}
[lambda.git] / week2.mdwn
index 80f3946..992c8c8 100644 (file)
@@ -48,7 +48,7 @@ Here's more to read about combinatorial logic:
 <http://people.cs.uu.nl/jeroen/article/combinat/combinat.ps>
 
 
-Evaluation strategies and Normalization
+Evaluation Strategies and Normalization
 =======================================
 
 In the assignment we asked you to reduce various expressions until it wasn't possible to reduce them any further. For two of those expressions, this was impossible to do. One of them was this: