X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=notes_and_schedule.mdwn;h=da8a254f7333a9586d8b3551a8926e4aae071b1f;hp=75f1e1aafd6acbb8c4106bf28288f4ed4e72217d;hb=1ad7e0280f9bd7d31d5abdb55f690fabe9426577;hpb=c595c61a3fc33a2343e3ef906a382652c655d518 diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn index 75f1e1aa..da8a254f 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 Convertibility; 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