From 58c4c664ccb627102481c7bcb457e0f84a74d938 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 1 Sep 2020 08:01:17 -0400 Subject: Fix editing error: recurse instead of using previous function --- docs/doc/block.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/block.html') diff --git a/docs/doc/block.html b/docs/doc/block.html index 7c077588..8c7a7770 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -125,7 +125,7 @@ 5040

This is somewhat unsatisfying because it is external to the function being defined, even though it doesn't depend on outside information. Instead, the special name 𝕊 can be used to refer to the function it appears in. This allows anonymous recursive functions to be defined.

-↗️
    { 𝕩 × (0⊸<)◶1‿Fact 𝕩-1 } 7
+↗️
    { 𝕩 × (0⊸<)◶1‿𝕊 𝕩-1 } 7
 5040
 

 
For modifiers, 𝕣 refers to the containing modifier. 𝕊 makes the modifier a deferred modifier like 𝕨 and 𝕩 do, and refers to the derived function. For example, this tail-recursive factorial function uses the operand to accumulate a result, a task that is usually done with a second factorial_helper function in elementary Scheme.

-- 
cgit v1.2.3