post ass5

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

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]] 
 
 
 >      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
 
 
 >      Topics: Types, Polymorphism
 

+

 [[Upcoming topics]]
 
 [Advanced Lambda Calculus Topics](/advanced_lambda)
 [[Upcoming topics]]
 
 [Advanced Lambda Calculus Topics](/advanced_lambda)