Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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]]##
[[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