X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=miscellaneous_lambda_challenges_and_advanced_topics.mdwn;h=ea7799c8892d9edb14e9b78963aabd4cfb2732a6;hp=511135a0ffba3a95bc87a449d778dd87f3ca7253;hb=76b230e153efac9e171508cd43b57156a7fa20fc;hpb=b3781261c60b4d7cbaee3a48449b3319e6b51f31

diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index 511135a0..ea7799c8 100644
--- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
+++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
@@ -476,17 +476,13 @@ can use.
 			let make_list = \h t. \f z continue_handler abort_handler.
 				f h z (\z. t f z continue_handler abort_handler) abort_handler
 
-		now `extract_head` can return the leftmost head directly, using its `abort_handler`:
+		now `extract_head` should return the leftmost head directly, using its `abort_handler`:
 
 			let extract_head = \lst larger_computation. lst
-					; here's our f
 					(\hd sofar continue_handler abort_handler. abort_handler hd)
-					; here's our z
 					junk
-					; here's the continue_handler for the leftmost application of f
 					larger_computation
-					; here's the abort_handler
-					larger_computation  in
+					larger_computation
 
 	3.	To extract tails efficiently, too, it'd be nice to fuse the apparatus developed
 		in these v5 lists with the ideas from the v4 lists, above.