(no commit message)

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 46f6b74..7c75223 100644 (file)
--- 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 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.
 
 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
+
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->

 
 

-##[[Notes and Schedule]]##
+[[Upcoming topics]]

 
 
 ##[[Offsite Reading]]##
 
 
 ##[[Offsite Reading]]##