Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
-(27 Sept) ...(Notes to come)
+(27 Sept) Lecture notesfor [[Week3]]; [[Assignment3]].
+
Topics: Recursion with Fixed Point Combinators
<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times