aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--doc/control.md4
-rw-r--r--docs/doc/control.html4
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/control.md b/doc/control.md
index b7e58436..fe2e77e9 100644
--- a/doc/control.md
+++ b/doc/control.md
@@ -19,7 +19,7 @@ The useful control structures introduced here are collected as shortened definit
# Switch/case statements have many variations; these are a few
Match ← {𝕏𝕨}Β΄
Select ← {(βŠ‘π•©)β—Ά(1↓𝕩)@}
- Switch ← {cβ†βŠ‘π•© β‹„ mβ€Ώa←<Λ˜β‰βˆ˜β€Ώ2β₯Š1↓𝕩 β‹„ (βŠ‘a⊐C)β—Άm@}
+ Switch ← {cβ†βŠ‘π•© β‹„ mβ€Ώa←<Λ˜β‰βˆ˜β€Ώ2β₯Š1↓𝕩 β‹„ (m⊸⊐⌾<C)β—Άa@}
Test ← {fn←{Cβ€ΏAπ•Še:Cβ—ΆAβ€ΏE}´𝕩⋄Fn@}
## Blocks and functions
@@ -153,7 +153,7 @@ A simplified version of a switch-case statement is possible if the cases are nat
To test against other possible values, the following statement takes interleaved lists of values and actions, and disentangles them. It searches through the values with `⊐`.
- Switch ← {cβ†βŠ‘π•© β‹„ mβ€Ώa←<Λ˜β‰βˆ˜β€Ώ2β₯Š1↓𝕩 β‹„ (βŠ‘a⊐C)β—Άm@}
+ Switch ← {cβ†βŠ‘π•© β‹„ mβ€Ώa←<Λ˜β‰βˆ˜β€Ώ2β₯Š1↓𝕩 β‹„ (m⊸⊐⌾<C)β—Άa@}
Switch ⟨value
"increment" β‹„ {𝕀⋄ v+↩1}
diff --git a/docs/doc/control.html b/docs/doc/control.html
index b4426630..fbd5f0c5 100644
--- a/docs/doc/control.html
+++ b/docs/doc/control.html
@@ -18,7 +18,7 @@
<span class='Comment'># Switch/case statements have many variations; these are a few
</span><span class='Function'>Match</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Function'>𝕏</span><span class='Value'>𝕨</span><span class='Brace'>}</span><span class='Modifier'>Β΄</span>
<span class='Function'>Select</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>βŠ‘</span><span class='Value'>𝕩</span><span class='Paren'>)</span><span class='Modifier2'>β—Ά</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>𝕩</span><span class='Paren'>)</span><span class='String'>@</span><span class='Brace'>}</span>
-<span class='Function'>Switch</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Value'>c</span><span class='Gets'>←</span><span class='Function'>βŠ‘</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Value'>m</span><span class='Ligature'>β€Ώ</span><span class='Value'>a</span><span class='Gets'>←</span><span class='Function'>&lt;</span><span class='Modifier'>˘</span><span class='Function'>⍉</span><span class='Modifier2'>∘</span><span class='Ligature'>β€Ώ</span><span class='Number'>2</span><span class='Function'>β₯Š</span><span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Paren'>(</span><span class='Function'>βŠ‘</span><span class='Value'>a</span><span class='Function'>⊐C</span><span class='Paren'>)</span><span class='Modifier2'>β—Ά</span><span class='Value'>m</span><span class='String'>@</span><span class='Brace'>}</span>
+<span class='Function'>Switch</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Value'>c</span><span class='Gets'>←</span><span class='Function'>βŠ‘</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Value'>m</span><span class='Ligature'>β€Ώ</span><span class='Value'>a</span><span class='Gets'>←</span><span class='Function'>&lt;</span><span class='Modifier'>˘</span><span class='Function'>⍉</span><span class='Modifier2'>∘</span><span class='Ligature'>β€Ώ</span><span class='Number'>2</span><span class='Function'>β₯Š</span><span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Paren'>(</span><span class='Value'>m</span><span class='Modifier2'>⊸</span><span class='Function'>⊐</span><span class='Modifier2'>⌾</span><span class='Function'>&lt;C</span><span class='Paren'>)</span><span class='Modifier2'>β—Ά</span><span class='Value'>a</span><span class='String'>@</span><span class='Brace'>}</span>
<span class='Function'>Test</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Value'>fn</span><span class='Gets'>←</span><span class='Brace'>{</span><span class='Function'>C</span><span class='Ligature'>β€Ώ</span><span class='Function'>Aπ•Š</span><span class='Value'>e</span><span class='Head'>:</span><span class='Function'>C</span><span class='Modifier2'>β—Ά</span><span class='Function'>A</span><span class='Ligature'>β€Ώ</span><span class='Function'>E</span><span class='Brace'>}</span><span class='Modifier'>Β΄</span><span class='Value'>𝕩</span><span class='Separator'>β‹„</span><span class='Function'>Fn</span><span class='String'>@</span><span class='Brace'>}</span>
</pre>
<h2 id="blocks-and-functions"><a class="header" href="#blocks-and-functions">Blocks and functions</a></h2>
@@ -126,7 +126,7 @@
<span class='Brace'>}</span>
</pre>
<p>To test against other possible values, the following statement takes interleaved lists of values and actions, and disentangles them. It searches through the values with <code><span class='Function'>⊐</span></code>.</p>
-<pre><span class='Function'>Switch</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Value'>c</span><span class='Gets'>←</span><span class='Function'>βŠ‘</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Value'>m</span><span class='Ligature'>β€Ώ</span><span class='Value'>a</span><span class='Gets'>←</span><span class='Function'>&lt;</span><span class='Modifier'>˘</span><span class='Function'>⍉</span><span class='Modifier2'>∘</span><span class='Ligature'>β€Ώ</span><span class='Number'>2</span><span class='Function'>β₯Š</span><span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Paren'>(</span><span class='Function'>βŠ‘</span><span class='Value'>a</span><span class='Function'>⊐C</span><span class='Paren'>)</span><span class='Modifier2'>β—Ά</span><span class='Value'>m</span><span class='String'>@</span><span class='Brace'>}</span>
+<pre><span class='Function'>Switch</span> <span class='Gets'>←</span> <span class='Brace'>{</span><span class='Value'>c</span><span class='Gets'>←</span><span class='Function'>βŠ‘</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Value'>m</span><span class='Ligature'>β€Ώ</span><span class='Value'>a</span><span class='Gets'>←</span><span class='Function'>&lt;</span><span class='Modifier'>˘</span><span class='Function'>⍉</span><span class='Modifier2'>∘</span><span class='Ligature'>β€Ώ</span><span class='Number'>2</span><span class='Function'>β₯Š</span><span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>𝕩</span> <span class='Separator'>β‹„</span> <span class='Paren'>(</span><span class='Value'>m</span><span class='Modifier2'>⊸</span><span class='Function'>⊐</span><span class='Modifier2'>⌾</span><span class='Function'>&lt;C</span><span class='Paren'>)</span><span class='Modifier2'>β—Ά</span><span class='Value'>a</span><span class='String'>@</span><span class='Brace'>}</span>
<span class='Function'>Switch</span> <span class='Bracket'>⟨</span><span class='Value'>value</span>
<span class='String'>&quot;increment&quot;</span> <span class='Separator'>β‹„</span> <span class='Brace'>{</span><span class='Value'>𝕀</span><span class='Separator'>β‹„</span> <span class='Value'>v</span><span class='Function'>+</span><span class='Gets'>↩</span><span class='Number'>1</span><span class='Brace'>}</span>
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 12:40:30 +0000