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
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.
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.