From: Jim Pryor Date: Sun, 3 Oct 2010 06:09:31 +0000 (-0400) Subject: tweak advanced X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=36d2a4e106220cad382ac706fe5f6468dab88ba8;ds=sidebyside tweak advanced Signed-off-by: Jim Pryor --- diff --git a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn index 7d006286..da3760a8 100644 --- a/miscellaneous_lambda_challenges_and_advanced_topics.mdwn +++ b/miscellaneous_lambda_challenges_and_advanced_topics.mdwn @@ -60,13 +60,13 @@ can use. current list, the tail of the current list, and the result of continuing to fold `f` over the tail, with a given base value `z`. - Call this a **version 4** list. The empty list could be the same: + Call this a **version 4** list. The empty list can be the same as in v3: - empty === \f z. z + 
empty ≡ \f z. z
The list constructor would be: - make_list === \h t. \f z. f h t (t f z) + 
make_list ≡ \h t. \f z. f h t (t f z)
It differs from the version 3 `make_list` only in adding the extra argument `t` to the new, outer application of `f`.