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=7cb29f4162e5e56c7f97c33bf943737c2120a870;hb=76b230e153efac9e171508cd43b57156a7fa20fc;hpb=b98f8f2a0ad83e0e04ca95117de9cbe963c70783

diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index 7cb29f41..ea7799c8 100644
--- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
+++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
@@ -479,14 +479,10 @@ can use.
 		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.