From c3416569ef883e1deb3132986b2d577879f15ea2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 15 Jun 2021 22:26:23 -0400 Subject: Fix Fact_mod example --- doc/block.md | 2 +- docs/doc/block.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/block.md b/doc/block.md index 690f8a27..75550a94 100644 --- a/doc/block.md +++ b/doc/block.md @@ -91,7 +91,7 @@ This is somewhat unsatisfying because it is external to the function being defin 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. - Fact_mod ← 1 { (0⊸<)β—ΆβŸ¨1, (𝕨×𝕩)_π•£βŸ© 𝕩-1 } + Fact_mod ← 1 { (0⊸<)β—ΆβŸ¨π•—, (𝕗×𝕩)_π•£βŸ© 𝕩-1 } Fact_mod 7 Because `𝕣` only ever refers to a 1-modifier or 2-modifer, it can never make sense to refer to it as a function, and the uppercase letter `ℝ` is not recognized by BQN. In order to allow `𝕣` to be spelled as a 1-modifier `_𝕣` or 2-modifier `_𝕣_`, it is treated as an ordinary identifier character, so it must be separated from letters or numbers by spaces. diff --git a/docs/doc/block.html b/docs/doc/block.html index e5652775..eb57da8d 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -129,9 +129,9 @@ 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.

-↗️
    Fact_mod ← 1 { (0⊸<)β—ΆβŸ¨1, (𝕨×𝕩)_π•£βŸ© 𝕩-1 }
+↗️
    Fact_mod ← 1 { (0⊸<)β—ΆβŸ¨π•—, (𝕗×𝕩)_π•£βŸ© 𝕩-1 }
     Fact_mod 7
-1
+5040
 

 
Because 𝕣 only ever refers to a 1-modifier or 2-modifer, it can never make sense to refer to it as a function, and the uppercase letter ℝ is not recognized by BQN. In order to allow 𝕣 to be spelled as a 1-modifier _𝕣 or 2-modifier _𝕣_, it is treated as an ordinary identifier character, so it must be separated from letters or numbers by spaces.

 
Block headers

-- 
cgit v1.2.3