@@ -55,7+55,7 @@ preloaded is available at [[assignment 3 evaluator]].
(8 Nov) Lecture notes for [[Week8]].
(8 Nov) Lecture notes for [[Week8]].
-(15 Nov) Lecture notes are coming; [[Assignment7]] is here.
+(15 Nov) Lecture notes for [[Week9]] (these are being dynamically updated, how fitting); [[Assignment7]] is already ready. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".