From: barker Date: Sat, 18 Sep 2010 12:32:18 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e8163227b4ec2dc4f9503eeebc4c351865ac0b9a;hp=66bda6df3eb82ce6565f293d523357dfb7ef7d11 --- 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