X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=miscellaneous_lambda_challenges_and_advanced_topics.mdwn;h=da3760a8367d49029e07b069863139c6058b2099;hp=7d006286f0cc476e07bd6fb0a9aa1d17a496c944;hb=36d2a4e106220cad382ac706fe5f6468dab88ba8;hpb=124b42efaaafa38c66aa37968aa0d7e108c28268 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`.