One student session will be held every Wednesday from XX-YY at WHERE.
-->
-## [[Jump to content (lecture notes and more)|content]] ##
+## [[Index of Content (lecture notes and more)|content]] ##
## Announcements ##
[[Advanced notes|topics/week1 advanced notes]]
+<!--
+[[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.
+
+We've added a [[Monad Library]] for OCaml.
+We've posted a [[State Monad Tutorial]].
+-->
+
+
## Course Overview ##
The overarching goal of this seminar is to introduce concepts and techniques from