edits
authorChris Barker <barker@omega.(none)>
Sat, 27 Nov 2010 04:50:48 +0000 (23:50 -0500)
committerChris Barker <barker@omega.(none)>
Sat, 27 Nov 2010 04:50:48 +0000 (23:50 -0500)
zipper-lists-continuations.mdwn

index a9d0e8f..581cdf4 100644 (file)
@@ -55,7 +55,7 @@ so we have to abstract over that variable to balance the books:
          fun e -> f (u e) ...
 
 This types to `env -> 'b reader`, but we want to end up with `env ->
-'b`.  The easiest way to turn a 'b reader into a 'b is to apply it to
+'b`.  Once again, the easiest way to turn a `'b reader` into a `'b` is to apply it to
 an environment.  So we end up as follows:
 
     r_bind (u:'a reader) (f:'a -> 'b reader):('b reader) = f (u e) e