X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=0649985461abde4a46bf76ee77992a34c328fb8c;hp=fd0b7bfc4e022433f8bd8d0cb301c3120ad70c0f;hb=a2a8ae846e123efa055406e6518d3f32baf3fd84;hpb=66841f3cedac4593021466150a845b5371b99fbf diff --git a/new_stuff.mdwn b/new_stuff.mdwn index fd0b7bfc..06499854 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,7 +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]] -[[Zipper]] +[[Zipper-Lists-Continuations]] +[[Assignment8]] + +[[Curry-Howard]]