From 36d2a4e106220cad382ac706fe5f6468dab88ba8 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 3 Oct 2010 02:09:31 -0400 Subject: [PATCH 1/1] tweak advanced Signed-off-by: Jim Pryor --- miscellaneous_lambda_challenges_and_advanced_topics.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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`. -- 2.11.0