@@ -57,7+57,7 @@ preloaded is available at [[assignment 3 evaluator]].
> Topics: Reader Monad for Jacobson's Variable-Free Semantics
> Topics: Reader Monad for Jacobson's Variable-Free Semantics
-(15 Nov, 22 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".
+(15 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints".