From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 24 Aug 2010 14:01:10 +0000 (-0400)
Subject: Rec Readings->Books
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=6e9c06c4741ae1656a9aa4d1ee3b29a0ca528970

Rec Readings->Books

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

diff --git a/index.mdwn b/index.mdwn
index 4f1281e5..7286d417 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -136,7 +136,7 @@ other.
 
 [[How to get the programming languages running on your computer]]
 	
-## Recommended Readings ##
+## Recommended Books ##
 
 *	*An Introduction to Lambda Calculi for Computer Scientists*, by Chris
 Hankin, currently $17 on
diff --git a/todo.mdwn b/todo.mdwn
deleted file mode 100644
index d51e0741..00000000
--- a/todo.mdwn
+++ /dev/null
@@ -1,11 +0,0 @@
-1. How to program in the pure lambda calculus (Scheme and OCaml options)
-
-2. Chris's Lambda tutorial
-	Other wiki links:
-		Lambda Calculus
-		...
-
-		Combinatorial Logic
-		Chris's Iota and Jot
-
-