From: jim <jim@web>
Date: Thu, 19 Mar 2015 03:10:10 +0000 (-0400)
Subject: post combinatory evaluator
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7cce4e7183aaf7a8bf36354dfea2ee5cdffe0708;ds=sidebyside

post combinatory evaluator
---

diff --git a/content.mdwn b/content.mdwn
index 1ec4a92b..61ac9611 100644
--- 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]]
+    *   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
 
 *   The Untyped Lambda Calculus
 
@@ -50,7 +51,7 @@ week in which they were introduced.
 *   Combinatory logic
 
     *   [[Introduction|topics/week3 combinatory logic]]
-    *   Interpreter for Combinatory Logic terms
+    *   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
 
 *   Typed Lambda Calculi
 
@@ -118,7 +119,7 @@ Week 6:
 
 Week 7:
 
-*   Interpreter for Combinatory Logic terms
+*   [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
 *   Interpreter for Lambda terms
 *   Starting with Monads