X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=83ea0e0849e210a2b9f63dde14209194dfe27e7d;hb=2ba0d2e3db9e8754bc533b73e5012e09399560fc;hp=1b9e6723c20dde7b93a915ae7235f96d59305154;hpb=cd1791280949fe58826e7fda8d5064e0e0badd9f;p=lambda.git diff --git a/index.mdwn b/index.mdwn index 1b9e6723..83ea0e08 100644 --- a/index.mdwn +++ b/index.mdwn @@ -169,7 +169,7 @@ 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; [[Homework for weeks 8-9|/exercises/assignment8-9]] +> Topics: [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; [[Programming with mutable state|/topics/week9_mutable_state]]; [[A State Monad Tutorial|/topics/week9_state_monad_tutorial]]; 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)