X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7c7522387055b9968920daef0779cbd496094fc6;hp=46f6b74ac623b321dfe8b3386d9f0347dcab82a4;hb=98652627403eaa920f51cedc4d0cc68c1103b972;hpb=4c41ba9c22b453bb23667786c1b549f15bf5cf1e diff --git a/index.mdwn b/index.mdwn index 46f6b74a..7c752238 100644 --- a/index.mdwn +++ b/index.mdwn @@ -18,16 +18,24 @@ Lots of lecture notes summarizing and expanding on last Monday's seminar now pos ## Lecture Notes and Assignments ## -Lecture notes for [[Week1]]; [[Assignment1]]. +(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]]. -Lecture notes for [[Week2]]; [[Assignment2]]. +Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages -There is now a [lambda evaluator](lambda-let.html) you can use in your browser (no need to install any software). +(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]]. + +Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers + +There is now a [[lambda evaluator]] 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. -[Lambda Calculator](/lambda-let.html) +(27 Sept) ...(Notes to come) +Topics: Recursion with Fixed Point Combinators + + -##[[Notes and Schedule]]## +[[Upcoming topics]] ##[[Offsite Reading]]##