week7: housecleaning
[lambda.git] / index.mdwn
index 7019eca..e336e55 100644 (file)
@@ -47,14 +47,18 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
 
->      Topics: Types, Polymorphism
+>      Topics: Types, Polymorphism, Dividing by Zero
+
+(1 Nov) Lecture notes for Week7; Assignment6.
+
+>      Topics: Monads
 
 
 [[Upcoming topics]]
 
-[Advanced Lambda Calculus Topics](/advanced)
+[[Advanced Topics]]
 
->      Topics: Version 4 lists
+>      Topics: Version 4 lists, Category Theory
 
 ##Scheme and OCaml##