(no commit message)

[lambda.git] / topics / _week8_reader_monad.mdwn

diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn
index d317d24..2e7ede8 100644 (file)
--- 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:
 
+<pre>
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
 
      ___________________
@@ -164,6 +165,7 @@ map2 +  ⇧1    _____|_____  ⇧4
                  ___|____  ⇧0
                  |      |
                map2 /  ⇧6
+</pre>
 
 With these adjustments, the faulty computation now completes smoothly:
 
@@ -316,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:
 
+<pre>
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
 
      ___________________
@@ -329,6 +332,7 @@ map2 +  ⇧1    _____|_____  ⇧4
                  ___|____  ⇧0
                  |      |
                map2 /  ⇧6
+</pre>
 
 With these adjustments, the faulty computation now completes smoothly: