From: Jim Pryor Date: Sun, 19 Sep 2010 23:37:33 +0000 (-0400) Subject: post week2 stuff X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1ad7e0280f9bd7d31d5abdb55f690fabe9426577;hp=c595c61a3fc33a2343e3ef906a382652c655d518 post week2 stuff Signed-off-by: Jim Pryor --- diff --git a/index.mdwn b/index.mdwn index ec531d28..2bb5e4bb 100644 --- a/index.mdwn +++ b/index.mdwn @@ -14,12 +14,14 @@ We've sent around an email to those who left their email addresses on the roster Student sessions will be held on Tuesdays from 11-12 and Wednesdays from 3-4. (You only need attend one session.) You should see these sessions as opportunities to clear up lingering issues from material we've discussed, and help get a better footing for what we'll be doing the next week. It would be smart to make a serious start on that week's homework, for instance, before the session. -Lots of lecture notes summarizing and expanding on last Monday's seminar now posted. (Click "Notes and Schedule".) +Lots of lecture notes summarizing and expanding on last Monday's seminar now posted. Also, lecture notes for upcoming session have been posted. (Click "Notes and Schedule".) ## Assignments ## [[Assignment1]] +[[Assignment2]] + ##[[Notes and Schedule]]## 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