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

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 2bb5e4b..7c75223 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -16,16 +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

 
 

+(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].

 
 

-##[[Notes and Schedule]]##
+Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers

 
 

-[[Using the programming languages]]
+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]]##