* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type
* Interpreter for Lambda terms
- * Starting with Monads
+ * [[Introducing Monads|topics/week7_introducing_monads]]
* Order, "static versus dynamic"
* [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated)
* [[System F|topics/week5 system F]] (will be updated)
* Types in OCaml and Haskell (will be posted soon)
- * Starting with Monads
+ * [[Introducing Monads|topics/week7_introducing_monads]]
## Topics by week ##
* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
-* Starting with Monads
-
-
+* [[Introducing Monads|topics/week7_introducing_monads]]