manip trees: tweaks
authorJim Pryor <profjim@jimpryor.net>
Wed, 1 Dec 2010 07:35:43 +0000 (02:35 -0500)
committerJim Pryor <profjim@jimpryor.net>
Wed, 1 Dec 2010 07:35:43 +0000 (02:35 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
manipulating_trees_with_monads.mdwn

index 3a30561..76cfef2 100644 (file)
@@ -106,8 +106,8 @@ updated tree.
 
 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
 
 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
-that, when you apply it to an `int -> int` function returns an `int
-tree` in which each leaf `x` has been replaced with `(f x)`.
+that, when you apply it to an `int -> int` function `f` returns an `int
+tree` in which each leaf `x` has been replaced with `f x`.
 
 With previous readers, we always knew which kind of environment to
 expect: either an assignment function (the original calculator
 
 With previous readers, we always knew which kind of environment to
 expect: either an assignment function (the original calculator