post combinatory evaluator

diff --git a/content.mdwn b/content.mdwn
index 1ec4a92..61ac961 100644 (file)
--- a/content.mdwn
+++ b/content.mdwn
@@ -29,6 +29,7 @@ week in which they were introduced.
     *   [[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]]
     *   [[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]]

+    *   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]

 
 *   The Untyped Lambda Calculus
 
 
 *   The Untyped Lambda Calculus
 


@@ -50,7 +51,7 @@ week in which they were introduced.
 *   Combinatory logic
 
     *   [[Introduction|topics/week3 combinatory logic]]
 *   Combinatory logic
 
     *   [[Introduction|topics/week3 combinatory logic]]

-    *   Interpreter for Combinatory Logic terms
+    *   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]

 
 *   Typed Lambda Calculi
 
 
 *   Typed Lambda Calculi
 


@@ -118,7 +119,7 @@ Week 6:
 
 Week 7:
 
 
 Week 7:
 

-*   Interpreter for Combinatory Logic terms
+*   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]

 *   Interpreter for Lambda terms
 *   Starting with Monads
 
 *   Interpreter for Lambda terms
 *   Starting with Monads