From 76b230e153efac9e171508cd43b57156a7fa20fc Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 3 Oct 2010 03:08:58 -0400 Subject: [PATCH 1/1] tweak advanced Signed-off-by: Jim Pryor --- miscellaneous_lambda_challenges_and_advanced_topics.mdwn | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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. -- 2.11.0