index cb67dcf..6bcc55e 100644 (file)
@@ -19,9 +19,9 @@ week in which they were introduced.

*   Order, "static versus dynamic"

-    *    [[Order in programming languages and natural language|topics/week1 order]]
-    *    Reduction Strategies and Normal Forms in the Lambda Calculus
-    *   Usefulness of `()`
+    *   [[Order in programming languages and natural language|topics/week1 order]]
+    *   [[Reduction Strategies and Normal Forms in the Lambda Calculus|topics/week3_evaluation_order]]
+    *   [[Unit and its usefulness|topics/week3 unit]]

*   The Lambda Calculus

@@ -35,8 +35,9 @@ week in which they were introduced.
*   [[Arithmetic with Church numbers|topics/week3_church_arithmetic]]
*   [[How to get the `tail` of v1 lists?|topics/week3 lists#tails]]
*   [[Some other list encodings|topics/week3 lists#other-lists]]
-    *    Reduction Strategies and Normal Forms
+    *   [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]]
*   [[Fixed point combinators|topics/week4_fixed_point_combinators]]

*    [[Combinatory Logic|topics/week3 combinatory logic]]
@@ -69,14 +70,15 @@ Week 3:
*   [[More on Lists|topics/week3 lists]]
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus, and some new list encodings
*   [[What is computation?|topics/week3_what_is_computation]]
-*   Reduction Strategies and Normal Forms (will try to post soon)
+*   [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] (posted on Monday 23 Feb)
*   [[Unit and its usefulness|topics/week3 unit]]
*   [[Combinatory Logic|topics/week3 combinatory logic]]
-*   [[Homework for week 3|exercises/assignment3]]