From 1ad7e0280f9bd7d31d5abdb55f690fabe9426577 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 19 Sep 2010 19:37:33 -0400 Subject: [PATCH] post week2 stuff Signed-off-by: Jim Pryor --- index.mdwn | 4 +++- notes_and_schedule.mdwn | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) 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 -- 2.11.0