summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b378126)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
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