From 114aa68bf26aa9438660940f0b6f20796c9ac1d0 Mon Sep 17 00:00:00 2001 From: barker Date: Mon, 20 Sep 2010 19:44:20 -0400 Subject: [PATCH 1/1] --- index.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.mdwn b/index.mdwn index 5c0359ec..7c752238 100644 --- a/index.mdwn +++ b/index.mdwn @@ -26,7 +26,7 @@ Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers -There is now a [lambda evaluator](/lambda-let.html) you can use in your browser (no need to install any software). +There is now a [[lambda evaluator]] you can use in your browser (no need to install any software). It can help you check whether your answer to some of the homework questions works correctly. (27 Sept) ...(Notes to come) -- 2.11.0