From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 01:47:40 +0000 (-0400)
Subject: link to lambda library
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3be23d511f494d473da5aabb67375e25073f7e2c;ds=sidebyside

link to lambda library

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/index.mdwn b/index.mdwn
index bf601161..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