author Jim Pryor Wed, 1 Dec 2010 08:49:11 +0000 (03:49 -0500) committer Jim Pryor Wed, 1 Dec 2010 08:49:11 +0000 (03:49 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>

index 9ae45cc..d0897ef 100644 (file)
@@ -92,7 +92,7 @@ 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 that is ready to accept any `int -> int` function and produce the
updated tree.

-\tree (. (. (f2) (f3))(. (f5) (.(f7)(f11))))
+\tree (. (. (f 2) (f 3)) (. (f 5) (. (f 7) (f 11))))

\f      .
_____|____

\f      .
_____|____
@@ -306,7 +306,7 @@ induction on the structure of the first argument that the tree
resulting from `bind u f` is a tree with the same strucure as `u`,
except that each leaf `a` has been replaced with `f a`:

resulting from `bind u f` is a tree with the same strucure as `u`,
except that each leaf `a` has been replaced with `f a`:

-\tree (. (fa1) (. (. (. (fa2)(fa3)) (fa4)) (fa5)))
+\tree (. (f a1) (. (. (. (f a2) (f a3)) (f a4)) (f a5)))

.                         .
__|__                     __|__

.                         .
__|__                     __|__
@@ -337,8 +337,8 @@ As for the associative law,
we'll give an example that will show how an inductive proof would
proceed.  Let `f a = Node (Leaf a, Leaf a)`.  Then

we'll give an example that will show how an inductive proof would
proceed.  Let `f a = Node (Leaf a, Leaf a)`.  Then

-\tree (. (. (. (. (a1)(a2)))))
-\tree (. (. (. (. (a1) (a1)) (. (a1) (a1)))  ))
+\tree (. (. (. (. (a1) (a2)))))
+\tree (. (. (. (. (a1) (a1)) (. (a1) (a1)))))

.
____|____

.
____|____