X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7c7522387055b9968920daef0779cbd496094fc6;hp=6409b7ba1c664b2182275dabaf4bdc3aca8703a7;hb=b19700a93e5cd8137872f9727c734f4f9c953b89;hpb=a01e84adbe42b382dfd0b2d5496ba343855f712f

diff --git a/index.mdwn b/index.mdwn
index 6409b7ba..7c752238 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -18,17 +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.
 
+(27 Sept) ...(Notes to come) 
+Topics: Recursion with Fixed Point Combinators
 
-##[[Notes and Schedule]]##
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->
 
-[[Using the programming languages]]
+[[Upcoming topics]]
 
 
 ##[[Offsite Reading]]##