X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=8843d37eec8d21c789551f9c581375bbf600131a;hp=55c8cba3337072decfbefd57469a28bb789da5e8;hb=0feebbaaa58403d836d7ea6166cf709dd3faf1a8;hpb=d7222c3a02d8dd06a06377ee4d305bc4fbeab5f4 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 55c8cba3..8843d37e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,12 +1,6 @@ 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]] -