From d1b82e795c985012df8298926eec35b5a2cc49b6 Mon Sep 17 00:00:00 2001 From: chris Date: Sun, 29 Mar 2015 21:36:04 -0400 Subject: [PATCH 1/1] --- topics/_week8_reader_monad.mdwn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn index 86866db2..2e7ede8a 100644 --- a/topics/_week8_reader_monad.mdwn +++ b/topics/_week8_reader_monad.mdwn @@ -318,6 +318,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))))
 
      ___________________
@@ -331,6 +332,7 @@ map2 +  ⇧1    _____|_____  ⇧4
                  ___|____  ⇧0
                  |      |
                map2 /  ⇧6
+
With these adjustments, the faulty computation now completes smoothly: -- 2.11.0