X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=manipulating_trees_with_monads.mdwn;h=dcba312629435861a915ee767767cd9dad97b58d;hp=c279c3827c8429c3cafa4c42cb24677df1684760;hb=3ed8e56bf33b1c0cfa09b672abf26e9c397ea0f1;hpb=ba4d5e47c49b739b747ffc15d269faaa98a4bf9c

diff --git a/manipulating_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn
index c279c382..dcba3126 100644
--- a/manipulating_trees_with_monads.mdwn
+++ b/manipulating_trees_with_monads.mdwn
@@ -35,7 +35,7 @@ We'll be using trees where the nodes are integers, e.g.,
 	 ___|___
 	 |     |
 	 .     .
-	_|__  _|__
+	_|_   _|__
 	|  |  |  |
 	2  3  5  .
 	        _|__
@@ -92,18 +92,17 @@ a reader monad---is to have the treemap function return a (monadized)
 tree that is ready to accept any `int->int` function and produce the
 updated tree.
 
-\tree (. (. (f2) (f3))(. (f5) (.(f7)(f11))))
-
-	\f    .
-	  ____|____
-	  |       |
-	  .       .
-	__|__   __|__
-	|   |   |   |
-	f2  f3  f5  .
-	          __|___
-	          |    |
-	          f7  f11
+
+	\f      .
+	   _____|____
+	   |        |
+	   .        .
+	 __|___   __|___
+	 |    |   |    |
+	f 2  f 3  f 5  .
+	             __|___
+	             |    |
+	            f 7  f 11
 
 That is, we want to transform the ordinary tree `t1` (of type `int
 tree`) into a reader object of type `(int->int)-> int tree`: something