X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=0649985461abde4a46bf76ee77992a34c328fb8c;hp=55c8cba3337072decfbefd57469a28bb789da5e8;hb=d7ed6190f9967abc9b25154082aeb91fe1544bda;hpb=9597d0f4796382fd4b18e85f2c5eb37a5f60e715 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 55c8cba3..06499854 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,12 +1,10 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet. -[[Week10]] - [[Week11]] -[[Curry-Howard]] - [[Zipper-Lists-Continuations]] [[Assignment8]] +[[Curry-Howard]] +