From: jim Date: Mon, 6 Apr 2015 00:15:23 +0000 (-0400) Subject: re-organize some links X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=cb344881d831fcbb278429e791a4746217346c30 re-organize some links --- diff --git a/index.mdwn b/index.mdwn index 25368d57..ab0138dd 100644 --- a/index.mdwn +++ b/index.mdwn @@ -166,9 +166,10 @@ Practical advice for working with OCaml and/or Haskell (will be posted someday); > Topics: [[Safe division with monads|topics/week8_safe_division_with_monads]]; [[Ramble on Monads and Modules|topics/week8_monads_and_modules]] (**Week 9**) Thursday April 2 -> Topics: [[Installing and using the OCaml Juli8 library|/juli8]]; [[Using the OCaml Monad library|/topics/week9_using_the_monad_library]]; the State monad; Programming with mutable state; Using multiple monads together -> Updated the [[Juli8 Monad Library for OCaml|/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`. +> 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