delete cruft
[lambda.git] / content.mdwn
index cb67dcf..6b11537 100644 (file)
@@ -37,6 +37,7 @@ week in which they were introduced.
         *   [[Some other list encodings|topics/week3 lists#other-lists]]
     *    Reduction Strategies and Normal Forms
     *   [[Fixed point combinators|topics/week4_fixed_point_combinators]]
+    *   [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
 
 
 *    [[Combinatory Logic|topics/week3 combinatory logic]]
@@ -72,11 +73,11 @@ Introduces list comprehensions, discusses how to get the `tail` of lists in the
 *   Reduction Strategies and Normal Forms (will try to post soon)
 *   [[Unit and its usefulness|topics/week3 unit]]
 *   [[Combinatory Logic|topics/week3 combinatory logic]]
-*   [[Homework for week 3|exercises/assignment3]]
+*   [[Homework for week 3|exercises/assignment3]] ([[Answers|exercises/assignment3_answers]])
 
 Week 4:
 
 *   [[Fixed point combinators|topics/week4_fixed_point_combinators]]
-*   More on fixed point combinators (in progress)
+*   [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]]
 *   Towards types (in progress)
-
+*   [[Homework for week 4|exercises/assignment4]]