From: Jim Pryor Date: Sun, 3 Oct 2010 07:08:58 +0000 (-0400) Subject: tweak advanced X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=76b230e153efac9e171508cd43b57156a7fa20fc;hp=b98f8f2a0ad83e0e04ca95117de9cbe963c70783;ds=sidebyside tweak advanced Signed-off-by: Jim Pryor --- 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.