X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week8_reader_monad.mdwn;fp=topics%2F_week8_reader_monad.mdwn;h=86866db235e17782d11f4c8780519683a58352f5;hp=d317d24691d2b49cff44a1ccc8d1838c69072984;hb=5d1eff367c981df72cc069b4c04a4bf3f7b58536;hpb=c753a08ea5f96badbb8e1c7f3a8f7fd174d53bde diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn index d317d246..86866db2 100644 --- a/topics/_week8_reader_monad.mdwn +++ b/topics/_week8_reader_monad.mdwn @@ -151,6 +151,7 @@ is the ⇧ and the map2 function from the notes on safe division: Then we lift the entire computation into the monad by applying ⇧ to the integers, and by applying `map1` to the operators: +
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
 
      ___________________
@@ -164,6 +165,7 @@ map2 +  ⇧1    _____|_____  ⇧4
                  ___|____  ⇧0
                  |      |
                map2 /  ⇧6
+
With these adjustments, the faulty computation now completes smoothly: