(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.
+(1 Nov) Lecture notes for [[Week7]]; [[Assignment6]].
> Topics: Monads; [[Reader Monad]]; [[Intensionality Monad]]