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

diff --git a/index.mdwn b/index.mdwn
index 9fb68725..c18172b3 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -17,6 +17,7 @@ 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
@@ -43,6 +44,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
 -->