From b1fb802c05e46ea3b0a3fad18e89c137f6881631 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 23 Aug 2010 19:10:45 -0400 Subject: [PATCH 1/1] added todo page Signed-off-by: Jim Pryor --- todo.mdwn | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 todo.mdwn diff --git a/todo.mdwn b/todo.mdwn new file mode 100644 index 00000000..d51e0741 --- /dev/null +++ b/todo.mdwn @@ -0,0 +1,11 @@ +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