From e8163227b4ec2dc4f9503eeebc4c351865ac0b9a Mon Sep 17 00:00:00 2001 From: barker Date: Sat, 18 Sep 2010 08:32:18 -0400 Subject: [PATCH] --- notes_and_schedule.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn index 9e481824..75f1e1aa 100644 --- a/notes_and_schedule.mdwn +++ b/notes_and_schedule.mdwn @@ -2,7 +2,7 @@ [[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages -Week2 (20 Sept) Reduction and Convetibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers +Week2 (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers Week3 (27 Sept) Recursion with Fixed Point Combinators -- 2.11.0