X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=todo.mdwn;fp=todo.mdwn;h=d51e07411392d770b78efd6159244dafdb36629b;hp=0000000000000000000000000000000000000000;hb=b1fb802c05e46ea3b0a3fad18e89c137f6881631;hpb=22724972289e3ad77f7b5e6142a6a4424cbdbc38 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 + +