+<!--
+ 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.)
+
+We've sent around an email to those who left their email addresses on the roster we passed around. But it's clear that the roster didn't make its way to everyone. So if you're not receiving our seminar emails, please email <mailto:jim.pryor@nyu.edu> with your email address, and if you're a student, say whether you expect to audit or take the class for credit.
+-->
+
+
+## Lecture Notes and Assignments ##
+
+(13 Sept) Lecture notes for [[Week1]]; [[Assignment1]].
+
+Topics: Applications; Basics of Lambda Calculus; Comparing Different Languages