post ass5

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 6cdbc3f..cbe3d8d 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -82,10 +82,11 @@ 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)