add/update monad code

[lambda.git] / topics / _week8_reader_monad.mdwn

diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn
index 9266ab3..af47b3d 100644 (file)
--- a/topics/_week8_reader_monad.mdwn
+++ b/topics/_week8_reader_monad.mdwn
@@ -24,7 +24,7 @@ This meant
 changing the type of their input from ints to int options.  But we
 didn't need to do this piecemeal; rather, we could "lift" the ordinary
 arithmetic operations into the monad using the various tools provided
-by the monad.  
+by the monad.  We'll go over this lifting operation in detail in the next section.
 
 ## Tracing the effect of safe-div on a larger computation
 
@@ -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