tweak week{2,3}
[lambda.git] / week2.mdwn
index 8a67e8f..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:
@@ -207,7 +207,4 @@ But is there any method for doing this in general---for telling, of any given co
 
 ##[[Lists and Numbers]]##
 
-How to do with recursion with omega.
-
-Next week: fixed point combinators