X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=44fc75a9846b06a13d2130e9c9027e1cde7610fc;hb=2fbca5c72240f211e6ad7b7d776bbc96d8f09c9a;hp=a84ea489e1ae0b0bb3650ba1e8d82ebced1ff5b5;hpb=87950b9337d05be3815445fb900d3b65d65b89b9;p=lambda.git diff --git a/index.mdwn b/index.mdwn index a84ea489..44fc75a9 100644 --- a/index.mdwn +++ b/index.mdwn @@ -55,11 +55,18 @@ preloaded is available at [[assignment 3 evaluator]]. (8 Nov) Lecture notes for [[Week8]]. +> Topics: Reader Monad for Jacobson's Variable-Free Semantics + +(15 Nov, 22 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints". + +> Topics: Mutable Variables; Passing by Reference + + [[Upcoming topics]] [[Advanced Topics]] -> Topics: Version 4 lists, Monads in Category Theory +> Topics: Version 4 lists, Monads in Category Theory, Calculator Improvements ##Scheme and OCaml##