X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=8843d37eec8d21c789551f9c581375bbf600131a;hp=a08148087b7c6c36879bb6a0bde8a902e79205ac;hb=0cd006d378ff7e001b4bc5203c97771eafd209da;hpb=aa5ce0c31af63013f3ce832c6fd3038b88b681c9 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index a0814808..8843d37e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,7 +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]] -[[Assignment8]] +[[Curry-Howard]] +