X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=61ac9611b342ca253fdcebe027704f6eb15492c4;hp=1ec4a92b187de09b216e405f452996332c408d25;hb=47e08f1ea539eb5305efe8c36d68c05630bce36b;hpb=a1dbf985aa7c8b9f402efe14724c01c2327ecf2d 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