+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.
+
+There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+
+There's also a page of [[miscellaneous lambda challenges and advanced topics]].
+
+
+
+<!--
+ To play around with a **typed lambda calculus**, which we'll look at later
+ in the course, have a look at the [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/).
+ This requires installing Java, but provides a number of tools for evaluating
+ lambda expressions and other linguistic forms. (Mac users will most likely
+ already have Java installed.)
+-->
+
+
+## Lecture Notes and Assignments ##
+
+(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
+
+Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages
+
+(20 Sept) Lecture notes for [[Week2]]; [[Assignment2]].
+
+Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
+
+(27 Sept) Lecture notes for [[Week3]]; [[Assignment3]].
+
+Topics: Recursion with Fixed Point Combinators
+
+(4 Oct) Lecture notes for Week 4
+
+<!-- Introducing the notion of a "continuation", which technique we'll now already have used a few times
+-->
+
+[[Upcoming topics]]
+
+
+##[[Offsite Reading]]##
+
+There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
+
+
+
+## Course Overview ##