From 2d96e5b5a4b72bc7732302b371c1fc7b88925ce0 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sun, 3 Oct 2010 15:11:03 -0400 Subject: [PATCH] edit --- index.mdwn | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/index.mdwn b/index.mdwn index 3e66206f..3a4584ab 100644 --- a/index.mdwn +++ b/index.mdwn @@ -93,7 +93,9 @@ Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers -(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]]. +(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]]; +an evaluator with the definitions used for homework 3 +preloaded is available at [[assignment 3 evaluator]]. Topics: Recursion with Fixed Point Combinators -- 2.11.0