X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=4f115e854c3660231567c96025c632e9c508b70d;hp=c18172b34c1a869d5d3edd4ce2262bff88c1743a;hb=5f08c6ac521e9a38fb2694567ec41adb6d94fb05;hpb=756f43f2529e362fdaab6831aa11cfa1c4beeaa5;ds=sidebyside

diff --git a/index.mdwn b/index.mdwn
index c18172b3..4f115e85 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -19,14 +19,15 @@ It can help you check whether your answer to some of the homework questions work
 
 There is now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
 
+There's also a page of [advanced challenges and techniques](/advanced) for the untyped lambda-calculus.
+
+
 <!--
   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.
 -->