From 086e19dff52ec179ab231ebcd945b1ae81bff195 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 27 Sep 2010 14:29:19 -0400 Subject: [PATCH] edits --- index.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.mdwn b/index.mdwn index 28fc8c49..d0d77f77 100644 --- a/index.mdwn +++ b/index.mdwn @@ -36,7 +36,8 @@ Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers -(27 Sept) ...(Notes to come) +(27 Sept) Lecture notesfor [[Week3]]; [[Assignment3]]. + Topics: Recursion with Fixed Point Combinators