X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=new_stuff.mdwn;h=ba7e51a12da8a625d31f4e0f6db9dba395ca08c9;hp=d153848e0573e96a8bfbdad8a44a9d49f6eb2a4f;hb=172783a2998a2d2d6a0e1cbda2e4f68710099fe3;hpb=656923cf6fecaa0fc054f965e315ea08ea2df6f3 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index d153848e..ba7e51a1 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -24,8 +24,6 @@ New stuff, fairly stable: In progress: * [[Curry-Howard]] -* [[Curry-Howard-note]] is this current? -* [[Using Continuations to Solve Same Fringe]] * [[Monad Transformers]] * [[Assignment10]] * [[CPS]]