From: Jim Pryor Date: Sat, 27 Nov 2010 04:29:48 +0000 (-0500) Subject: new_stuff, link to Chris's work in progress X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=7228bb74798b590fec10c17c0028ce9a7cd2e70a new_stuff, link to Chris's work in progress Signed-off-by: Jim Pryor --- diff --git a/new_stuff.mdwn b/new_stuff.mdwn index a0814808..55c8cba3 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -4,4 +4,9 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessar [[Week11]] +[[Curry-Howard]] + +[[Zipper-Lists-Continuations]] + [[Assignment8]] +