-# Lecture Notes #
-
-[[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
-
-[[Week2]] (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
-
-Week3 (27 Sept) Recursion with Fixed Point Combinators
-
-Introducing the notion of a "continuation", which technique we'll now already have used a few times
-
-
-# Still To Come #
-
This is very sketchy at this point, but it should give a sense of our intended scope.
## Types ##