From 7cce4e7183aaf7a8bf36354dfea2ee5cdffe0708 Mon Sep 17 00:00:00 2001 From: jim Date: Wed, 18 Mar 2015 23:10:10 -0400 Subject: [PATCH] post combinatory evaluator --- content.mdwn | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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 -- 2.11.0