X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=5c0359ecdee1f013f1d62f685f137284eacc2551;hp=ec531d287be4ab8c7a3f4d48ed00914c1ee9b4f6;hb=deaaa5ead3e6f6de2241cb1b568499b328b540e9;hpb=5e6821b688eb5917ac5477c9b8df251b9637a693 diff --git a/index.mdwn b/index.mdwn index ec531d28..5c0359ec 100644 --- a/index.mdwn +++ b/index.mdwn @@ -14,16 +14,28 @@ 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 ## +## Lecture Notes and Assignments ## -[[Assignment1]] +(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]]. +Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages -##[[Notes and Schedule]]## +(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]]. -[[Using the programming languages]] +Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers + +There is now a [lambda evaluator](/lambda-let.html) you can use in your browser (no need to install any software). +It can help you check whether your answer to some of the homework questions works correctly. + +(27 Sept) ...(Notes to come) +Topics: Recursion with Fixed Point Combinators + + + +[[Upcoming topics]] ##[[Offsite Reading]]##