X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=acaca5319f139373bafd72fc1fd51183b59a6c84;hp=55771677ebb2bd2f0065bd0dc95cbf3a266c1ef0;hb=3d8a5a49ed7026e8a1bf68fa4c054a50925c1bb6;hpb=347bc26072eb5d6c69943f72306768b28161f1ab diff --git a/index.mdwn b/index.mdwn index 55771677..acaca531 100644 --- a/index.mdwn +++ b/index.mdwn @@ -85,7 +85,7 @@ preloaded is available at [[assignment 3 evaluator]]. > Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; [[Monad Transformers]] -(13 Dec) Lecture notes for Week13; Assignment10 +(13 Dec) Lecture notes for Week13; Assignment10. > Topics: CPS and Continuation Operators; Curry-Howard