Merge branch 'pryor'
[lambda.git] / index.mdwn
index f280920..ac9ce98 100644 (file)
@@ -53,6 +53,10 @@ preloaded is available at [[assignment 3 evaluator]].
 
 >      Topics: Monads; [[Reader Monad for Variable Binding]]; [[Reader Monad for Intensionality]]
 
+(8 Nov) Lecture notes for [[Week8]].
+
+(15 Nov) Lecture notes are coming; [[Assignment7]] is here.
+
 
 [[Upcoming topics]]