X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=index.mdwn;h=5c0359ecdee1f013f1d62f685f137284eacc2551;hb=deaaa5ead3e6f6de2241cb1b568499b328b540e9;hp=aeb0564e4d5f3cef0be948d33a030f136e74ea20;hpb=d63b0d0e1c52b50a383e419345a54e2bc6339a77;p=lambda.git

diff --git a/index.mdwn b/index.mdwn
index aeb0564e..5c0359ec 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -16,15 +16,26 @@ Student sessions will be held on Tuesdays from 11-12 and Wednesdays from 3-4. (Y
 
 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]].
 
-[[Assignment2]]
+Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages
 
-[Lambda Calculator](/lambda-let.html)
+(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
 
-##[[Notes and Schedule]]##
+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
+
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->
+
+[[Upcoming topics]]
 
 
 ##[[Offsite Reading]]##