X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=55c8cba3337072decfbefd57469a28bb789da5e8;hp=8a74c0592a4cc266064bbed0ab5aed1a8e23d74d;hb=0a9b2c5fb1adfa3b87e95fcbf26ee79d57ae7466;hpb=b7801991967a3ca88aaa238169eec3a63d916bcb diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 8a74c059..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]]