From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 26 Oct 2010 15:53:39 +0000 (-0400)
Subject: post ass5
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=15c2b91484f22e7155f6c7ae6e3c493b306b6eb0

post ass5

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

diff --git a/index.mdwn b/index.mdwn
index 6cdbc3f7..cbe3d8dc 100644
--- 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)