From 3be23d511f494d473da5aabb67375e25073f7e2c Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sat, 2 Oct 2010 21:47:40 -0400 Subject: [PATCH] link to lambda library Signed-off-by: Jim Pryor --- index.mdwn | 1 + 1 file changed, 1 insertion(+) 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.