<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:
##[[Lists and Numbers]]##
-How to do with recursion with omega.
-
-Next week: fixed point combinators