- 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
+One student session will be held every Wednesday from 3-4 on the
+fourth floor at 10 Washington Place.