coverted Oleg's Haskell lib -> ML -> JS

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index bab08d2..7c75223 100644 (file)
--- 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 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.
 

+(27 Sept) ...(Notes to come) 
+Topics: Recursion with Fixed Point Combinators

 
 

-##[[Notes and Schedule of Topics]]##
+<!-- 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]]##
 
 
 ##[[Offsite Reading]]##