Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Baby monads
-----------
-Read the material on dividing by zero/towards monads from the end of lecture
-notes for week 6, then write a function `lift'` that generalized the
+Read the material on dividing by zero/towards monads from <strike>the end of lecture
+notes for week 6</strike> the start of lecture notes for week 7, then write a function `lift'` that generalized the
correspondence between + and `add'`: that is, `lift'` takes any two-place
operation on integers and returns a version that takes arguments of type `int
option` instead, returning a result of `int option`. In other words, `lift'`
(18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
-> Topics: Types, Polymorphism, Unit and Bottom, Dividing by Zero/[[Towards Monads]]
+> Topics: Types, Polymorphism, Unit and Bottom
(1 Nov) Lecture notes for [[Week7]]; Assignment6.
Towards Monads
--------------
-This has now been moved to [its own page](/towards_monads).
+This has now been moved to the start of [[week7]].