X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=33aedc1eea9eefbabcd35e6c43f494ed5a3763bd;hp=9fb68725ebf3e76de7490045c3f323f204d07995;hb=1dc1c72afe669382fd004e5193b1f57be4d7cef0;hpb=84a837df401ab939638d7b01a5da9ec00e8a2a0b

diff --git a/index.mdwn b/index.mdwn
index 9fb68725..33aedc1e 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -17,6 +17,8 @@ You should see the student sessions as opportunities to clear up lingering issue
 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.
+
 
 <!--
   To play around with a **typed lambda calculus**, which we'll look at later
@@ -24,8 +26,6 @@ It can help you check whether your answer to some of the homework questions work
   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.
 -->
 
 
@@ -43,6 +43,8 @@ Topics: Reduction and Convertibility; Combinators; Evaluation Strategies and Nor
 
 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
 -->