X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=notes_and_schedule.mdwn;h=da8a254f7333a9586d8b3551a8926e4aae071b1f;hp=9e481824be4ff6e98b59f28cc8d47e4cd090dc78;hb=4c41ba9c22b453bb23667786c1b549f15bf5cf1e;hpb=372cdc29f663944404da58a287e6588d1dec066d diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn index 9e481824..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 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