X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=ae397aebe1841523d3e058d28d03e71f194b0103;hp=ab0138dd7da5a91c761010e5cbe22a3ebf6d6127;hb=cd5d55412e3ebef73b08b17584fccf36f6f18c44;hpb=cb344881d831fcbb278429e791a4746217346c30 diff --git a/index.mdwn b/index.mdwn index ab0138dd..ae397aeb 100644 --- a/index.mdwn +++ b/index.mdwn @@ -157,7 +157,7 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); > *Many of these were updated or first posted on Mon 23 March.* -> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]] +> Topics: [[Combinatory evaluator|topics/week7_combinatory_evaluator]]; [[Introducing Monads|topics/week7_introducing_monads]]; [[Homework|exercises/assignment6-7]]; [[Environments and Closures|topics/week7_environments_and_closures]]; [[Untyped lambda evaluator|topics/week7_untyped_evaluator]] > We posted answers to [[Week 4's homework|exercises/assignment4_answers]] and [[Week 5-6's homework|exercises/assignment5_answers]]. @@ -169,13 +169,18 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); > Updated notes on [[Installing and Using the Juli8 Libraries|/juli8]] on Sun 5 April. The major change is to make the Monad libraries easier to use. Now you can just use `Monad.Reader(struct type env = ... end)`; you don't need to furthermore ask for the `M` submodule of that generated module. Relatedly, the `List` and `Monad.List` modules are now different; the former has lots of list-related functions and the latter only the monadic interface. Similarly for `Option` and `Monad.Option`. -> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together +> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together; [[Homework for weeks 8-9|/exercises/assignment8-9]] +> Reading for Week 10: Groenendijk, Stokhof, and Veltman, "[[Coreference and Modality|/readings/coreference-and-modality.pdf]]" (1996) +(**Week 10**) Thursday April 9 + + + ## Course Overview ##