X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=rosetta2.mdwn;h=66b5d87121fbc1a1efd0ed76ef243e6f58b53598;hp=2f1ea7f73356f3f960f769301235f291a1bec3b8;hb=44f72e6eda8faaa6d9d352c57fab8cff10676618;hpb=1c76a801749e25f6cd3049594fe536ed0a04eef9
diff --git a/rosetta2.mdwn b/rosetta2.mdwn
index 2f1ea7f7..66b5d871 100644
--- a/rosetta2.mdwn
+++ b/rosetta2.mdwn
@@ -639,7 +639,7 @@ Haskell has more built-in support for monads, but one can define the monads one
* Haskell also uses the operator `>>`, where `xx >> yy` means the same as `xx >>= \_ -> yy`. Juli8 provides this too.
-* In Haskell, one can generally just use plain `return` and `>>=` and the interpreter will infer what monad you must be talking about from the surrounding type constraints. In OCaml, you generally need to be specific about which monad you're using. So in these notes, when mutiple monads are on the table, we've defined operations as `reader_unit` and `reader_bind`, and so on. Or, using the Juli8 libraries, you will say things like this:
+* In Haskell, one can generally just use plain `return` and `>>=` and the interpreter will infer what monad you must be talking about from the surrounding type constraints. In OCaml, you generally need to be specific about which monad you're using. So in these notes, when mutiple monads are on the table, we've defined operations as `reader_mid` and `reader_bind`, and so on. Or, using the Juli8 libraries, you will say things like this:
Monad.List.(... >>= ...)