-* We've added a page on [[Translating between OCaml Scheme and Haskell]]
-
-* We've added some [commentary](/hints/assignment_6_commentary) on some common issues in your solutions to [[Assignment6]].
-
-* We've added a [[Monad Library]] for OCaml.
-
-* We've posted a [[State Monad Tutorial]].
-
-[[Older Announcements]]
-
-##[[Lambda Evaluator]]##
-
-Usable in your browser. It can help you check whether your answer to some of
-the homework questions works correctly.
-
-There is also now a [library](/lambda_library) of lambda-calculus
-arithmetical and list operations, some relatively advanced.
-
-##[[Monad Library]]##
-
-
-## Lecture Notes and Assignments ##
-
-(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
-
-> Topics: [[Applications]], including [[Damn]]; Basics of Lambda Calculus; Comparing Different Languages
-
-(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
-
-> Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; [[Lists and Numbers]]
-
-(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]];
-an evaluator with the definitions used for homework 3
-preloaded is available at [[assignment 3 evaluator]].
-
-> Topics: [[Evaluation Order]]; Recursion with Fixed Point Combinators
-
-(4 Oct) Lecture notes for [[Week4]]; [[Assignment4]].
-
-> Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]]
-
-
-(18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
-
-> Topics: Types, Polymorphism, Unit and Bottom
-
-(1 Nov) Lecture notes for [[Week7]]; [[Assignment6]].
-
-> Topics: Monads; [[Reader Monad for Variable Binding]]; [[Reader Monad for Intensionality]]
-
-(8 Nov) Lecture notes for [[Week8]].
-
-> Topics: Reader Monad for Jacobson's Variable-Free Semantics
-
-(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".
-
-> Topics: Mutable Variables; Passing by Reference
-
-(22 Nov) Lecture notes for [[Week10]]