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