X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;fp=week4.mdwn;h=daa18981c30b55931f40807f90b24ec0c766c789;hp=f3d7c03062671dd1af316ecc7629cdd3f3f33b0c;hb=c25c54424a8631097313817b7ce58191e15f7192;hpb=b63e280ab577c442f468f8ba047be3b124d106ac

diff --git a/week4.mdwn b/week4.mdwn
index f3d7c030..daa18981 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -506,10 +506,9 @@ result. The `larger_computation` handler also then gets passed to the next
 rightmost stage, where the head `4` is supplied to `f2`, as the `abort_handler` to
 use if that stage decides it has an early answer.
 
-Finally, notice that we don't have the result of applying `f2` to `4` etc given as
-an argument to the application of `f2` to `5` etc. Instead, we pass
+Finally, notice that we're not supplying the application of `f2` to `4` etc as an argument to the application of `f2` to `5` etc---at least, not directly. Instead, we pass
 
-	(\result_of_foldiing_over_4321. f2 5 result_of_folding_over_4321 <one_handler> <another_handler>)
+	(\result_of_folding_over_4321. f2 5 result_of_folding_over_4321 <one_handler> <another_handler>)
 
 *to* the application of `f2` to `4` as its "continue" handler. The application of `f2`
 to `4` can decide whether this handler, or the other, "abort" handler, should be