need empty? for set questions
[lambda.git] / content.mdwn
index cb67dcf..a546e9d 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]]
@@ -77,6 +78,6 @@ Introduces list comprehensions, discusses how to get the `tail` of lists in the
 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)