tweak advanced

[lambda.git] / miscellaneous_lambda_challenges_and_advanced_topics.mdwn

diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
index 511135a..7cb29f4 100644 (file)
--- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
+++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn
@@ -476,7 +476,7 @@ 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
 
                        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
 
                        let extract_head = \lst larger_computation. lst
                                        ; here's our f