## Lecture Notes and Assignments ##
-Lecture notes for [[Week1]]; [[Assignment1]].
+(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
-Lecture notes for [[Week2]]; [[Assignment2]].
+Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages
-There is now a [lambda evaluator](lambda-let.html) you can use in your browser (no need to install any software).
+(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
+
+Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
+
+There is now a [[lambda evaluator]] you can use in your browser (no need to install any software).
It can help you check whether your answer to some of the homework questions works correctly.
-[Lambda Calculator](/lambda-let.html)
+(27 Sept) ...(Notes to come)
+Topics: Recursion with Fixed Point Combinators
+
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->
-##[[Notes and Schedule]]##
+[[Upcoming topics]]
##[[Offsite Reading]]##