post ass5

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index dbb8a4b..cbe3d8d 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -82,14 +82,17 @@ preloaded is available at [[assignment 3 evaluator]].
 >      Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]] 
 
 
-(18 Oct) Lecture notes for [[Week5]] (in progress).
+(18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
 
 >      Topics: Types, Polymorphism
 
+
 [[Upcoming topics]]
 
 [Advanced Lambda Calculus Topics](/advanced_lambda)
 
+>      Topics: Version 4 lists
+
 ##Scheme and OCaml##
 
 See [below](#installing) for how to get the programming languages running on your computer.