X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7c7522387055b9968920daef0779cbd496094fc6;hp=49eba9f0a996fb241a8335455f3369619b2a5081;hb=98652627403eaa920f51cedc4d0cc68c1103b972;hpb=66bda6df3eb82ce6565f293d523357dfb7ef7d11;ds=sidebyside

diff --git a/index.mdwn b/index.mdwn
index 49eba9f0..7c752238 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]] 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]]##
@@ -206,3 +218,6 @@ manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html).
 All wikis are supposed to have a [[SandBox]], so this one does too.
 
 This wiki is powered by [[ikiwiki]].
+
+[[Test]]
+