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=f05f9fe3f805a6281a58abf55218586cb8428cae;hp=7cb29f4162e5e56c7f97c33bf943737c2120a870;hb=e92858e64c6f61f8ac642550cfcf19c7e14480af;hpb=b98f8f2a0ad83e0e04ca95117de9cbe963c70783 diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn index 7cb29f41..f05f9fe3 100644 --- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn +++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn @@ -479,20 +479,16 @@ 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. But that also is left as an exercise. -5. Implementing (self-balancing) trees +5. **Implementing (self-balancing) trees** more...