X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;fp=week4.mdwn;h=e9a206f080fb18b3874bb0976444c9e3a6c0c319;hp=58bd7473e499d883069786a9dac040c88316a01c;hb=a4a188627315a688d841a9a622a053b527d3b88a;hpb=2195d0c1fa3c064c7090ac25a95cc61ae67bf616 diff --git a/week4.mdwn b/week4.mdwn index 58bd7473..e9a206f0 100644 --- a/week4.mdwn +++ b/week4.mdwn @@ -593,8 +593,8 @@ detail](http://okmij.org/ftp/Streams.html#enumerator-stream). > We could improve this by building lists as left folds when implementing them > as continuation-passing style folds. We'd just replace above: > -> 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` should return the leftmost head directly, using its > `abort_handler`: