From d7ed6190f9967abc9b25154082aeb91fe1544bda Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 30 Nov 2010 10:12:38 -0500 Subject: [PATCH 1/1] update new_stuff Signed-off-by: Jim Pryor --- new_stuff.mdwn | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 55c8cba3..06499854 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,12 +1,10 @@ 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]] +[[Curry-Howard]] + -- 2.11.0