Rec Readings->Books

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

diff --git a/index.mdwn b/index.mdwn
index 4f1281e..7286d41 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -136,7 +136,7 @@ other.
 
 [[How to get the programming languages running on your computer]]
        
 
 [[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
 
 *      *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 (file)
index d51e074..0000000
--- 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
-
-