+<!--
+ 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]].