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