X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=ac9ce98a89bad1e41dc113b2eba7e4a0bfc59473;hp=3c5ef38b1bf18e3cbca12d0bb48f992c6dd18636;hb=bf3964615a2ebfa1e6c3466fb6e74cbcaffb4a7b;hpb=339f9f89e0ad0c23fe105165c74093fdeb0a9368 diff --git a/index.mdwn b/index.mdwn index 3c5ef38b..ac9ce98a 100644 --- a/index.mdwn +++ b/index.mdwn @@ -51,7 +51,11 @@ preloaded is available at [[assignment 3 evaluator]]. (1 Nov) Lecture notes for [[Week7]]; [[Assignment6]]. -> Topics: Monads; [[Reader Monad]]; [[Intensionality Monad]] +> Topics: Monads; [[Reader Monad for Variable Binding]]; [[Reader Monad for Intensionality]] + +(8 Nov) Lecture notes for [[Week8]]. + +(15 Nov) Lecture notes are coming; [[Assignment7]] is here. [[Upcoming topics]]