week4 debugging more

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index bf60116..33aedc1 100644 (file)
--- 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.
 -->