X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2F_week8_reader_monad.mdwn;h=af47b3d27ca84e06794d2021a16d2f98218b40e3;hb=05591abc78a643e93c7dba70740148bd5437a1d9;hp=d49f8376fa5b41075f328a2262ac7ab25380eb66;hpb=c0d72cf25bc77c206f81444f92a734d53082ec7e;p=lambda.git

diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn
index d49f8376..af47b3d2 100644
--- a/topics/_week8_reader_monad.mdwn
+++ b/topics/_week8_reader_monad.mdwn
@@ -149,7 +149,7 @@ is the ⇧ and the map2 function from the notes on safe division:
           | Some y -> Some (g x y));;
 
 Then we lift the entire computation into the monad by applying ⇧ to
-the integers, and by applying `map1` to the operators:
+the integers, and by applying `map2` to the operators:
 
 <pre>
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
@@ -654,4 +654,4 @@ what is happening in world 2, where Cam doesn't leave.
  (using bind), and the non-intersective adjectives will take
  intensional arguments.
 
-
+notes: cascade, general env