tweak lambda evaluator

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index aeb0564..7c75223 100644 (file)
--- 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".)
 
 
 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]] 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]]##
 
 
 ##[[Offsite Reading]]##