From 6e9c06c4741ae1656a9aa4d1ee3b29a0ca528970 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 24 Aug 2010 10:01:10 -0400 Subject: [PATCH 1/1] Rec Readings->Books Signed-off-by: Jim Pryor --- index.mdwn | 2 +- todo.mdwn | 11 ----------- 2 files changed, 1 insertion(+), 12 deletions(-) delete mode 100644 todo.mdwn 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 - - -- 2.11.0