X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=6e90c43a8519838e957fcfeb0119f897ef80a947;hp=bf6011613a49efc59bd4bf3b81818fd3b4e1d51c;hb=e92858e64c6f61f8ac642550cfcf19c7e14480af;hpb=1efc447d2ee3caf685576ea5b6332e7bf48bd1f3

diff --git a/index.mdwn b/index.mdwn
index bf601161..6e90c43a 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -17,6 +17,11 @@ 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.
+
+There's also a page of [[miscellaneous lambda challenges and advanced topics]].
+
+
 
 <!--
   To play around with a **typed lambda calculus**, which we'll look at later
@@ -24,8 +29,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.
 -->