> Topics: More on Fixed Points; Sets; Aborting List Traversals; [[Implementing Trees]]
-(18 Oct) Lecture notes for [[Week5]] (in progress).
+(18 Oct, 25 Oct) Lecture notes for [[Week5]] and [[Week6]]; [[Assignment5]].
> Topics: Types, Polymorphism
+
[[Upcoming topics]]
[Advanced Lambda Calculus Topics](/advanced_lambda)