post week2 stuff
authorJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 23:37:33 +0000 (19:37 -0400)
committerJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 23:37:33 +0000 (19:37 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
index.mdwn
notes_and_schedule.mdwn

index ec531d2..2bb5e4b 100644 (file)
@@ -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]]##
 
index 75f1e1a..da8a254 100644 (file)
@@ -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