X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=8843d37eec8d21c789551f9c581375bbf600131a;hp=e58274240c3f990f3861cebc4783e05c5f0baed4;hb=673e6ce8ada5e8f4e0f41b3900d1a4d0dbf92d1f;hpb=c4317076803254a6a22a090d5f79f238110a56b7 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index e5827424..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. -[[Week4]] -[[Week5]] -[[Assignment4]] - -[[miscellaneous_lambda_challenges_and_advanced_topics]] - -[[lambda_library]] +[[Curry-Howard]]