Merge pull request #56 from razetime/master

fix more h2 errors, generate index for repl help, add insert page

23 files changed, 333 insertions, 27 deletions

diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html
index 1e3266ef..45831bb0 100644
--- a/docs/help/after_bind.html
+++ b/docs/help/after_bind.html
@@ -7,7 +7,7 @@
 <h1 id="left-multimap-"><a class="header" href="#left-multimap-">Left Multimap (<code><span class='Modifier2'>⟜</span></code>)</a></h1>
 <h2 id="--bind-"><a class="header" href="#--bind-"><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Value'>𝕘</span> <span class='Value'>𝕩</span></code>: Bind</a></h2>
 <p>Supply <code><span class='Value'>𝕘</span></code> as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕩</span> <span class='Function'>𝔽</span> <span class='Value'>𝕘</span></code>).</p>
-<h2 id="-must-be-a-value-f-must-be-dyadic"><a class="header" href="#-must-be-a-value-f-must-be-dyadic"><code><span class='Value'>𝕘</span></code> must be a value, <code><span class='Function'>F</span></code> must be dyadic.</a></h2>
+<p><code><span class='Value'>𝕘</span></code> must be a value, <code><span class='Function'>F</span></code> must be dyadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKfnDMgOQoKICAgLSAzIDkKCiAgIDkgLSAz">↗️</a><pre>       <span class='Function'>-</span><span class='Modifier2'>⟜</span><span class='Number'>3</span> <span class='Number'>9</span>
 6
 
@@ -19,7 +19,7 @@
 </pre>
 <h2 id="--after"><a class="header" href="#--after"><code><span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: After</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, and supply it as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕩</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
-<h2 id="-must-be-dyadic--must-be-monadic"><a class="header" href="#-must-be-dyadic--must-be-monadic"><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgw5fin5wtIDkKCiAgIMOXIC0gOQoKICAgOSDDlyAoLSA5KQ==">↗️</a><pre>       <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>9</span>
 ¯81
 
@@ -31,7 +31,7 @@
 </pre>
 <h2 id="---dyadic-after"><a class="header" href="#---dyadic-after"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⟜</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic After</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, and supply it as a right argument to <code><span class='Function'>𝔽</span></code> (<code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
-<h2 id="-must-be-dyadic--must-be-monadic"><a class="header" href="#-must-be-dyadic--must-be-monadic"><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMiDDl+KfnC0gMQoKICAgMiDDlyAoLSAxKQ==">↗️</a><pre>       <span class='Number'>2</span> <span class='Function'>×</span><span class='Modifier2'>⟜</span><span class='Function'>-</span> <span class='Number'>1</span>
 ¯2
 
diff --git a/docs/help/atop.html b/docs/help/atop.html
index 2b01480b..deef0cff 100644
--- a/docs/help/atop.html
+++ b/docs/help/atop.html
@@ -7,7 +7,7 @@
 <h1 id="ring-operator-"><a class="header" href="#ring-operator-">Ring Operator (<code><span class='Modifier2'>∘</span></code>)</a></h1>
 <h2 id="--atop"><a class="header" href="#--atop"><code><span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Atop</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<h2 id="-and--must-be-monadic"><a class="header" href="#-and--must-be-monadic"><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKImC0gNQoKICAgLSAtIDU=">↗️</a><pre>       <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>-</span> <span class='Number'>5</span>
 5
 
@@ -16,7 +16,7 @@
 </pre>
 <h2 id="---dyadic-atop"><a class="header" href="#---dyadic-atop"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic Atop</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Value'>𝕨</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
-<h2 id="-must-be-monadic-and--must-be-dyadic"><a class="header" href="#-must-be-monadic-and--must-be-dyadic"><code><span class='Function'>𝔽</span></code> must be monadic, and <code><span class='Function'>𝔾</span></code> must be dyadic.</a></h2>
+<p>#<code><span class='Function'>𝔽</span></code> must be monadic, and <code><span class='Function'>𝔾</span></code> must be dyadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMSAt4oiYKyAyCgogICAxIC0gKyAyCgogICAtIDEgKyAy">↗️</a><pre>       <span class='Number'>1</span> <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>+</span> <span class='Number'>2</span>
 ¯3
 
diff --git a/docs/help/before_bind.html b/docs/help/before_bind.html
index f084fe4c..2401702e 100644
--- a/docs/help/before_bind.html
+++ b/docs/help/before_bind.html
@@ -7,7 +7,7 @@
 <h1 id="multimap-"><a class="header" href="#multimap-">Multimap (<code><span class='Modifier2'>⊸</span></code>)</a></h1>
 <h2 id="--bind-left"><a class="header" href="#--bind-left"><code><span class='Value'>𝕗</span><span class='Modifier2'>⊸</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Bind Left</a></h2>
 <p>Supply <code><span class='Value'>𝕗</span></code> as a left argument to <code><span class='Function'>𝔾</span></code> (<code><span class='Value'>𝕗</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<h2 id="-must-be-a-value--must-be-dyadic"><a class="header" href="#-must-be-a-value--must-be-dyadic"><code><span class='Value'>𝕗</span></code> must be a value, <code><span class='Function'>𝔾</span></code> must be dyadic.</a></h2>
+<p><code><span class='Value'>𝕗</span></code> must be a value, <code><span class='Function'>𝔾</span></code> must be dyadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgM+KKuC0gOQoKICAgMyAtIDk=">↗️</a><pre>       <span class='Number'>3</span><span class='Modifier2'>⊸</span><span class='Function'>-</span> <span class='Number'>9</span>
 ¯6
 
@@ -16,7 +16,7 @@
 </pre>
 <h2 id="--before"><a class="header" href="#--before"><code><span class='Function'>𝔽</span><span class='Modifier2'>⊸</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Before</a></h2>
 <p>Apply <code><span class='Function'>𝔽</span></code> to <code><span class='Value'>𝕩</span></code>, and supply it as a left argument to <code><span class='Function'>𝔾</span></code> (<code><span class='Paren'>(</span><span class='Function'>𝔽</span> <span class='Value'>𝕩</span><span class='Paren'>)</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<h2 id="-must-be-monadic--must-be-dyadic"><a class="header" href="#-must-be-monadic--must-be-dyadic"><code><span class='Function'>𝔽</span></code> must be monadic, <code><span class='Function'>𝔾</span></code> must be dyadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> must be monadic, <code><span class='Function'>𝔾</span></code> must be dyadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKKuCsgOQoKICAgLSArIDkKCiAgICgtIDkpICsgOQ==">↗️</a><pre>       <span class='Function'>-</span><span class='Modifier2'>⊸</span><span class='Function'>+</span> <span class='Number'>9</span>
 0
 
@@ -28,7 +28,7 @@
 </pre>
 <h2 id="---dyadic-before"><a class="header" href="#---dyadic-before"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⊸</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic Before</a></h2>
 <p>Apply <code><span class='Function'>𝔽</span></code> to <code><span class='Value'>𝕨</span></code>, and supply it as a left argument to <code><span class='Function'>𝔾</span></code> (<code><span class='Paren'>(</span><span class='Function'>𝔽</span> <span class='Value'>𝕨</span><span class='Paren'>)</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<h2 id="-must-be-monadic--must-be-dyadic"><a class="header" href="#-must-be-monadic--must-be-dyadic"><code><span class='Function'>𝔽</span></code> must be monadic, <code><span class='Function'>𝔾</span></code> must be dyadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> must be monadic, <code><span class='Function'>𝔾</span></code> must be dyadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMiAt4oq4KyAxCgogICAyIC0gKyAxCgogICAoLSAyKSArIDE=">↗️</a><pre>       <span class='Number'>2</span> <span class='Function'>-</span><span class='Modifier2'>⊸</span><span class='Function'>+</span> <span class='Number'>1</span>
 ¯1
 
diff --git a/docs/help/conjugate_add.html b/docs/help/conjugate_add.html
index 9f42ea1e..6c248885 100644
--- a/docs/help/conjugate_add.html
+++ b/docs/help/conjugate_add.html
@@ -13,7 +13,7 @@
 ¯1
 </pre>
 <h2 id="---add"><a class="header" href="#---add"><code><span class='Value'>𝕨</span> <span class='Function'>+</span> <span class='Value'>𝕩</span></code>: Add</a></h2>
-<h2 id="-added-to--either--or--can-be-a-character-and-if-so-the-other-has-to-be-an-integer"><a class="header" href="#-added-to--either--or--can-be-a-character-and-if-so-the-other-has-to-be-an-integer"><code><span class='Value'>𝕨</span></code> added to <code><span class='Value'>𝕩</span></code>. Either <code><span class='Value'>𝕨</span></code> or <code><span class='Value'>𝕩</span></code> can be a character, and if so, the other has to be an integer.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> added to <code><span class='Value'>𝕩</span></code>. Either <code><span class='Value'>𝕨</span></code> or <code><span class='Value'>𝕩</span></code> can be a character, and if so, the other has to be an integer.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxICsgMgoKICAxICsgMuKAvzPigL80CgogICdhJyArIDQ=">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>+</span> <span class='Number'>2</span>
 3
diff --git a/docs/help/enclose_lessthan.html b/docs/help/enclose_lessthan.html
index 634b255e..7bd6bf84 100644
--- a/docs/help/enclose_lessthan.html
+++ b/docs/help/enclose_lessthan.html
@@ -18,7 +18,7 @@
 ⟨⟩
 </pre>
 <h2 id="---lesser-than"><a class="header" href="#---lesser-than"><code><span class='Value'>𝕨</span> <span class='Function'>&lt;</span> <span class='Value'>𝕩</span></code>: Lesser Than</a></h2>
-<h2 id="-and--can-both-be-either-numbers-or-characters"><a class="header" href="#-and--can-both-be-either-numbers-or-characters"><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxIDwgMwoKICAy4oC/M+KAvzAgPCAz4oC/MeKAvzA=">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>&lt;</span> <span class='Number'>3</span>
 1
diff --git a/docs/help/exponential_power.html b/docs/help/exponential_power.html
index 6156110d..8b9de1e9 100644
--- a/docs/help/exponential_power.html
+++ b/docs/help/exponential_power.html
@@ -6,13 +6,13 @@
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="star-"><a class="header" href="#star-">Star (<code><span class='Function'>⋆</span></code>)</a></h1>
 <h2 id="--exponential--"><a class="header" href="#--exponential--"><code><span class='Function'>⋆</span> <span class='Value'>𝕩</span></code>: Exponential</a></h2>
-<h2 id="e-eulers-constant-to-the-power-of-"><a class="header" href="#e-eulers-constant-to-the-power-of-"><code><span class='Value'>e</span></code> (Euler's constant) to the power of <code><span class='Value'>𝕩</span></code>.</a></h2>
+<p><code><span class='Value'>e</span></code> (Euler's constant) to the power of <code><span class='Value'>𝕩</span></code>.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICDii4YgMOKAvzHigL8y4oC/Mw==">↗️</a><pre>      <span class='Function'>⋆</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span>
 ⟨ 1 2.718281828459045 7.38905609893065 20.08553692318767 ⟩
 </pre>
 <h2 id="---power"><a class="header" href="#---power"><code><span class='Value'>𝕨</span> <span class='Function'>⋆</span> <span class='Value'>𝕩</span></code>: Power</a></h2>
-<h2 id="-to-the-power-of-"><a class="header" href="#-to-the-power-of-"><code><span class='Value'>𝕨</span></code> to the power of <code><span class='Value'>𝕩</span></code>.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> to the power of <code><span class='Value'>𝕩</span></code>.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAyIOKLhiA1CgogIDjigL814oC/OSDii4YgMgoKICAy4oC/MyDii4YgM+KAv8KvNA==">↗️</a><pre>      <span class='Number'>2</span> <span class='Function'>⋆</span> <span class='Number'>5</span>
 32
diff --git a/docs/help/fold.html b/docs/help/fold.html
index 019d92eb..065070bb 100644
--- a/docs/help/fold.html
+++ b/docs/help/fold.html
@@ -7,6 +7,7 @@
 <h1 id="acute-accent-"><a class="header" href="#acute-accent-">Acute Accent (<code><span class='Modifier'>´</span></code>)</a></h1>
 <h2 id="--fold"><a class="header" href="#--fold"><code><span class='Function'>𝔽</span><span class='Modifier'>´</span> <span class='Value'>𝕩</span></code>: Fold</a></h2>
 <p>Fold over <code><span class='Value'>𝕩</span></code> with <code><span class='Function'>𝔽</span></code> from right to left i.e. Insert <code><span class='Function'>𝔽</span></code> between the elements of <code><span class='Value'>𝕩</span></code>.</p>
+<p><code><span class='Value'>𝕩</span></code> must be a simple list (<code><span class='Number'>1</span> <span class='Function'>=</span> <span class='Function'>=</span><span class='Value'>𝕩</span></code>).</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgK8K0IDHigL8y4oC/MwoKICAgMSsyKzMKCiAgIC3CtCAx4oC/MuKAvzMKCiAgIDEtMi0z">↗️</a><pre>       <span class='Function'>+</span><span class='Modifier'>´</span> <span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span>
 6
 
diff --git a/docs/help/gradedown_binsdown.html b/docs/help/gradedown_binsdown.html
index 4aa25059..f2ae7787 100644
--- a/docs/help/gradedown_binsdown.html
+++ b/docs/help/gradedown_binsdown.html
@@ -17,7 +17,7 @@
 </pre>
 <h2 id="---bins-down"><a class="header" href="#---bins-down"><code><span class='Value'>𝕨</span> <span class='Function'>⍒</span> <span class='Value'>𝕩</span></code>: Bins Down</a></h2>
 <p>Binary search for each element of <code><span class='Value'>𝕩</span></code> in <code><span class='Value'>𝕨</span></code>, and return the index found, if any.</p>
-<h2 id="-must-be-sorted-in-descending-order"><a class="header" href="#-must-be-sorted-in-descending-order"><code><span class='Value'>𝕨</span></code> must be sorted in descending order.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> must be sorted in descending order.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Right Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgN+KAvzXigL804oC/MyDijZIgMgoKICAgN+KAvzXigL804oC/MyDijZIgMuKAvzY=">↗️</a><pre>       <span class='Number'>7</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>3</span> <span class='Function'>⍒</span> <span class='Number'>2</span>
 ┌·   
diff --git a/docs/help/gradeup_binsup.html b/docs/help/gradeup_binsup.html
index ef5ac4ba..edb64577 100644
--- a/docs/help/gradeup_binsup.html
+++ b/docs/help/gradeup_binsup.html
@@ -17,7 +17,7 @@
 </pre>
 <h2 id="---bins-up"><a class="header" href="#---bins-up"><code><span class='Value'>𝕨</span> <span class='Function'>⍋</span> <span class='Value'>𝕩</span></code>: Bins Up</a></h2>
 <p>Binary search for each element of <code><span class='Value'>𝕩</span></code> in <code><span class='Value'>𝕨</span></code>, and return the index found, if any.</p>
-<h2 id="-must-be-sorted-in-ascending-order"><a class="header" href="#-must-be-sorted-in-ascending-order"><code><span class='Value'>𝕨</span></code> must be sorted in ascending order.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> must be sorted in ascending order.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgM+KAvzTigL814oC/NyDijYsgMgoKICAgM+KAvzTigL814oC/NyDijYsgMuKAvzY=">↗️</a><pre>       <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>7</span> <span class='Function'>⍋</span> <span class='Number'>2</span>
 ┌·   
 · 0  
diff --git a/docs/help/greaterthanorequalto.html b/docs/help/greaterthanorequalto.html
index 0ef22e70..63832149 100644
--- a/docs/help/greaterthanorequalto.html
+++ b/docs/help/greaterthanorequalto.html
@@ -6,7 +6,7 @@
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="greater-than-or-equal-to-"><a class="header" href="#greater-than-or-equal-to-">Greater Than or Equal To (<code><span class='Function'>≥</span></code>)</a></h1>
 <h2 id="---greater-than-or-equal-to"><a class="header" href="#---greater-than-or-equal-to"><code><span class='Value'>𝕨</span> <span class='Function'>≥</span> <span class='Value'>𝕩</span></code>: Greater Than or Equal To</a></h2>
-<h2 id="-and--can-both-be-either-numbers-or-characters"><a class="header" href="#-and--can-both-be-either-numbers-or-characters"><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxIOKJpSAzCgogIDLigL8z4oC/MCDiiaUgM+KAvzHigL8w">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>≥</span> <span class='Number'>3</span>
 0
diff --git a/docs/help/groupindices_group.html b/docs/help/groupindices_group.html
index 2c0bc452..16a66b97 100644
--- a/docs/help/groupindices_group.html
+++ b/docs/help/groupindices_group.html
@@ -7,7 +7,7 @@
 <h1 id="square-cup-"><a class="header" href="#square-cup-">Square Cup (<code><span class='Function'>⊔</span></code>)</a></h1>
 <h2 id="--group-indices"><a class="header" href="#--group-indices"><code><span class='Function'>⊔</span> <span class='Value'>𝕩</span></code>: Group Indices</a></h2>
 <p>Group the indices of the major cells of <code><span class='Value'>𝕩</span></code> by their respective values.</p>
-<h2 id="-must-consist-of-integers-groups-start-from-0-"><a class="header" href="#-must-consist-of-integers-groups-start-from-0-"><code><span class='Value'>𝕩</span></code> must consist of integers. Groups start from 0.</a></h2>
+<p><code><span class='Value'>𝕩</span></code> must consist of integers. Groups start from 0.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAg4oqUIDTigL814oC/NuKAvzbigL804oC/N+KAvzUKCiAgICjihpU4KSDiiY0g4oqUIDTigL814oC/NuKAvzbigL804oC/N+KAvzU=">↗️</a><pre>       <span class='Function'>⊔</span> <span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>6</span><span class='Ligature'>‿</span><span class='Number'>6</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>7</span><span class='Ligature'>‿</span><span class='Number'>5</span>
 ⟨ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩ ⟩
 
diff --git a/docs/help/identity_left.html b/docs/help/identity_left.html
index a643aed2..c0560573 100644
--- a/docs/help/identity_left.html
+++ b/docs/help/identity_left.html
@@ -5,7 +5,7 @@
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="left-tack-"><a class="header" href="#left-tack-">Left Tack (<code><span class='Function'>⊣</span></code>)</a></h1>
-<h2 id="--"><a class="header" href="#--"><code><span class='Function'>⊣</span> <span class='Value'>𝕩</span></code>:</a></h2>
+<h2 id="--identity"><a class="header" href="#--identity"><code><span class='Function'>⊣</span> <span class='Value'>𝕩</span></code>: Identity</a></h2>
 <p>Return <code><span class='Value'>𝕩</span></code>.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICDiiqMgNQ==">↗️</a><pre>      <span class='Function'>⊣</span> <span class='Number'>5</span>
 5
diff --git a/docs/help/identity_right.html b/docs/help/identity_right.html
index e6867881..fbfc2cf7 100644
--- a/docs/help/identity_right.html
+++ b/docs/help/identity_right.html
@@ -5,7 +5,7 @@
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="right-tack-"><a class="header" href="#right-tack-">Right Tack (<code><span class='Function'>⊢</span></code>)</a></h1>
-<h2 id="--"><a class="header" href="#--"><code><span class='Function'>⊢</span> <span class='Value'>𝕩</span></code>:</a></h2>
+<h2 id="--identity"><a class="header" href="#--identity"><code><span class='Function'>⊢</span> <span class='Value'>𝕩</span></code>: Identity</a></h2>
 <p>Return <code><span class='Value'>𝕩</span></code>.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICDiiqIgNQ==">↗️</a><pre>      <span class='Function'>⊢</span> <span class='Number'>5</span>
 5
diff --git a/docs/help/index.html b/docs/help/index.html
new file mode 100644
index 00000000..cae6b620
--- /dev/null
+++ b/docs/help/index.html
@@ -0,0 +1,273 @@
+<head>
+  <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
+  <link href="../style.css" rel="stylesheet"/>
+  <title>BQN: REPL Help</title>
+</head>
+<div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
+<h1 id="repl-help"><a class="header" href="#repl-help">REPL Help</a></h1>
+<table>
+<thead>
+<tr>
+<th>Symbol</th>
+<th>Link</th>
+</tr>
+</thead>
+<tbody>
+<tr>
+<td><code><span class='Function'>|</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/absolutevalue_modulus.html">Absolute Value, Modulus</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⟜</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/after_bind.html">Bind, After, Dyadic After</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>!</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/assert_assertwithmessage.html">Assert, Dyad</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>∘</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/atop.html">Atop, Dyadic Atop</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⊸</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/before_bind.html">Bind Left, Before, Dyadic Before</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⎊</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/catch.html">Catch</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⌈</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/ceiling_maximum.html">Ceiling, Maximum</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>˘</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/cells.html">Cells</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>◶</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/choose.html">Choose</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊐</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/classify_indexof.html">Classify, Index Of</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>+</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/conjugate_add.html">Conjugate, Add</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>˙</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/constant.html">Constant</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⍷</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/deduplicate_find.html">Deduplicate, Find</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≡</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/depth_match.html">Depth, Match</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⚇</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/depth.html">Depth</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⥊</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/deshape_reshape.html">Deshape, Reshape</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>¨</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/each.html">Each</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>&lt;</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/enclose_lessthan.html">Enclose, Lesser Than</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⋈</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/enlist_pair.html">Enlist, Pair</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⋆</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/exponential_power.html">Exponential, Power</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊏</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/firstcell_select.html">First Cell, Select</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊑</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/first_pick.html">First, Pick</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⌊</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/floor_minimum.html">Floor, Minimum</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>´</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/fold.html">Fold, Fold With initial</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⍒</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/gradedown_binsdown.html">Grade Down, Bins Down</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⍋</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/gradeup_binsup.html">Grade Up, Bins Up</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≥</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/greaterthanorequalto.html">Greater Than or Equal To</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊔</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/groupindices_group.html">Group Indices, Group</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊣</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/identity_left.html">Identity, Left</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊢</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/identity_right.html">Identity, Right</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>/</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/indices_replicate.html">Indices, Replicate</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>˝</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/insert.html">Insert, Insert With initial</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>∾</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/join_jointo.html">Join, Join</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≠</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/length_notequals.html">Length, Not Equal To</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≤</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/lessthanorequalto.html">Lesser Than or Equal To</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>∊</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/markfirst_memberof.html">Unique Mask, Member Of</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>&gt;</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/merge_greaterthan.html">Merge, Greater Than</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>-</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/negate_subtract.html">Negate, Subtract</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>¬</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/not_span.html">Logical Not, Span</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⊒</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/occurrencecount_progressiveindexof.html">Occurrence Count, Progressive Index Of</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>○</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/over.html">Atop, Over</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>↑</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/prefixes_take.html">Prefixes, Take</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>↕</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/range_windows.html">Range, Windows</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>=</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/rank_equals.html">Rank, Equal To</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⎉</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/rank.html">Rank</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>÷</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/reciprocal_divide.html">Reciprocal, Divide</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⍟</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/repeat.html">Repeat</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⌽</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/reverse_rotate.html">Reverse, Dyad</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>`</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/scan.html">Scan, Scan With initial</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>˜</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/self_swap.html">Self, Swap</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≢</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/shape_notmatch.html">Shape, Not Match</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>»</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/shiftafter.html">Shift After, Shift After</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>«</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/shiftbefore.html">Shift Before, Shift Before</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>×</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/sign_multiply.html">Sign, Multiply</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>≍</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/solo_couple.html">Solo, Couple</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>∨</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/sortdown_or.html">Sort Down, Logical Or</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>∧</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/sortup_and.html">Sort Up, Logical And</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>√</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/squareroot_root.html">Square root, Root</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>↓</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/suffixes_drop.html">Suffixes, Drop</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>⌜</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/table.html">Each</a></td>
+</tr>
+<tr>
+<td><code><span class='Function'>⍉</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/transpose_reorderaxes.html">Transpose, Reorder Axes</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⌾</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/under.html">Under</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier'>⁼</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/undo.html">Undo</a></td>
+</tr>
+<tr>
+<td><code><span class='Modifier2'>⊘</span></code></td>
+<td><a href="https://mlochbaum.github.io/BQN/help/valences.html">Valences, Dyadic Valences</a></td>
+</tr>
+</tbody>
+</table>
diff --git a/docs/help/insert.html b/docs/help/insert.html
new file mode 100644
index 00000000..a00eca0e
--- /dev/null
+++ b/docs/help/insert.html
@@ -0,0 +1,32 @@
+<head>
+  <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
+  <link href="../style.css" rel="stylesheet"/>
+  <title>BQN: Double Acute Accent (`˝`)</title>
+</head>
+<div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
+<h1 id="double-acute-accent-"><a class="header" href="#double-acute-accent-">Double Acute Accent (<code><span class='Modifier'>˝</span></code>)</a></h1>
+<h2 id="--insert"><a class="header" href="#--insert"><code><span class='Function'>𝔽</span><span class='Modifier'>˝</span> <span class='Value'>𝕩</span></code>: Insert</a></h2>
+<p>Fold over <code><span class='Value'>𝕩</span></code> with <code><span class='Function'>𝔽</span></code> from right to left i.e. Insert <code><span class='Function'>𝔽</span></code> between the major cells of <code><span class='Value'>𝕩</span></code>.</p>
+<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgYSDihpAgM+KAvzMg4qWKIOKGlTkKCiAgICvLnSBhCgogICAw4oC/MeKAvzIgKyAz4oC/NOKAvzUgKyA24oC/N+KAvzg=">↗️</a><pre>       <span class='Value'>a</span> <span class='Gets'>←</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>3</span> <span class='Function'>⥊</span> <span class='Function'>↕</span><span class='Number'>9</span>
+
+       <span class='Function'>+</span><span class='Modifier'>˝</span> <span class='Value'>a</span>
+⟨ 9 12 15 ⟩
+
+       <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>2</span> <span class='Function'>+</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span> <span class='Function'>+</span> <span class='Number'>6</span><span class='Ligature'>‿</span><span class='Number'>7</span><span class='Ligature'>‿</span><span class='Number'>8</span>
+⟨ 9 12 15 ⟩
+</pre>
+<h2 id="---insert-with-initial"><a class="header" href="#---insert-with-initial"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>˝</span> <span class='Value'>𝕩</span></code>: Insert With initial</a></h2>
+<p>Monadic insert, but use <code><span class='Value'>𝕨</span></code> as initial right argument.</p>
+<p>If</p>
+<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgYSDihpAgM+KAvzMg4qWKIOKGlTkKCiAgIDHigL8x4oC/MSAry50gYQoKICAgMSAry50gYQoKICAgMOKAvzHigL8yICsgM+KAvzTigL81ICsgNuKAvzfigL84ICsgMeKAvzHigL8x">↗️</a><pre>       <span class='Value'>a</span> <span class='Gets'>←</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>3</span> <span class='Function'>⥊</span> <span class='Function'>↕</span><span class='Number'>9</span>
+<span class='Error'>Error: Redefinition</span>
+
+       <span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>1</span> <span class='Function'>+</span><span class='Modifier'>˝</span> <span class='Value'>a</span>
+⟨ 10 13 16 ⟩
+
+       <span class='Number'>1</span> <span class='Function'>+</span><span class='Modifier'>˝</span> <span class='Value'>a</span>
+⟨ 10 13 16 ⟩
+
+       <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>2</span> <span class='Function'>+</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span> <span class='Function'>+</span> <span class='Number'>6</span><span class='Ligature'>‿</span><span class='Number'>7</span><span class='Ligature'>‿</span><span class='Number'>8</span> <span class='Function'>+</span> <span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>1</span>
+⟨ 10 13 16 ⟩
+</pre>
diff --git a/docs/help/lessthanorequalto.html b/docs/help/lessthanorequalto.html
index 061f9756..70e379b1 100644
--- a/docs/help/lessthanorequalto.html
+++ b/docs/help/lessthanorequalto.html
@@ -6,7 +6,7 @@
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="lesser-than-or-equal-to-"><a class="header" href="#lesser-than-or-equal-to-">Lesser Than or Equal To (<code><span class='Function'>≤</span></code>)</a></h1>
 <h2 id="---lesser-than-or-equal-to"><a class="header" href="#---lesser-than-or-equal-to"><code><span class='Value'>𝕨</span> <span class='Function'>≤</span> <span class='Value'>𝕩</span></code>: Lesser Than or Equal To</a></h2>
-<h2 id="-and--can-both-be-either-numbers-or-characters"><a class="header" href="#-and--can-both-be-either-numbers-or-characters"><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code> can both be either numbers or characters.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxIOKJpCAzCgogIDLigL8z4oC/MCDiiaQgM+KAvzHigL8w">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>≤</span> <span class='Number'>3</span>
 1
diff --git a/docs/help/over.html b/docs/help/over.html
index a7629b90..518919c1 100644
--- a/docs/help/over.html
+++ b/docs/help/over.html
@@ -7,7 +7,7 @@
 <h1 id="circle-"><a class="header" href="#circle-">Circle (<code><span class='Modifier2'>○</span></code>)</a></h1>
 <h2 id="--atop"><a class="header" href="#--atop"><code><span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Atop</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<h2 id="-and--must-be-monadic"><a class="header" href="#-and--must-be-monadic"><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKXiy0gNQoKICAgLSAtIDU=">↗️</a><pre>       <span class='Function'>-</span><span class='Modifier2'>○</span><span class='Function'>-</span> <span class='Number'>5</span>
 5
 
@@ -16,7 +16,7 @@
 </pre>
 <h2 id="---over"><a class="header" href="#---over"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Over</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> to them (<code><span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕨</span><span class='Paren'>)</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
-<h2 id="-must-be-dyadic--must-be-monadic"><a class="header" href="#-must-be-dyadic--must-be-monadic"><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<p><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMSAr4peLLSAyCgogICAxICsgLSAyCgogICAoLSAxKSArICgtIDIp">↗️</a><pre>       <span class='Number'>1</span> <span class='Function'>+</span><span class='Modifier2'>○</span><span class='Function'>-</span> <span class='Number'>2</span>
 ¯3
 
diff --git a/docs/help/reciprocal_divide.html b/docs/help/reciprocal_divide.html
index 7aaee42d..ee87812e 100644
--- a/docs/help/reciprocal_divide.html
+++ b/docs/help/reciprocal_divide.html
@@ -12,7 +12,7 @@
 0.2
 </pre>
 <h2 id="---divide"><a class="header" href="#---divide"><code><span class='Value'>𝕨</span> <span class='Function'>÷</span> <span class='Value'>𝕩</span></code>: Divide</a></h2>
-<h2 id="-divided-by-"><a class="header" href="#-divided-by-"><code><span class='Value'>𝕨</span></code> divided by <code><span class='Value'>𝕩</span></code>.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> divided by <code><span class='Value'>𝕩</span></code>.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=NSDDtyA0CgoxNCDDtyA3">↗️</a><pre>    <span class='Number'>5</span> <span class='Function'>÷</span> <span class='Number'>4</span>
 1.25
diff --git a/docs/help/scan.html b/docs/help/scan.html
index 9ddf093a..362dceb8 100644
--- a/docs/help/scan.html
+++ b/docs/help/scan.html
@@ -5,7 +5,7 @@
 </head>
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
 <h1 id="grave---"><a class="header" href="#grave---">Grave (<code><span class='Modifier'>`</span></code>)</a></h1>
-<h2 id="--fold"><a class="header" href="#--fold"><code><span class='Function'>𝔽</span><span class='Modifier'>`</span> <span class='Value'>𝕩</span></code>: Fold</a></h2>
+<h2 id="--scan"><a class="header" href="#--scan"><code><span class='Function'>𝔽</span><span class='Modifier'>`</span> <span class='Value'>𝕩</span></code>: Scan</a></h2>
 <p>Scan over <code><span class='Value'>𝕩</span></code> with <code><span class='Function'>𝔽</span></code> from left to right, producing intermediate values.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgK2AgMeKAvzLigL8zCgogICDin6gxLCAxKzIsICgxKzIpKzPin6kKCiAgIC1gIDHigL8y4oC/MwoKICAg4p+oMSwgMS0yLCAoMS0yKS0z4p+p">↗️</a><pre>       <span class='Function'>+</span><span class='Modifier'>`</span> <span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span>
 ⟨ 1 3 6 ⟩
diff --git a/docs/help/sign_multiply.html b/docs/help/sign_multiply.html
index e6eaf594..02a61f65 100644
--- a/docs/help/sign_multiply.html
+++ b/docs/help/sign_multiply.html
@@ -17,7 +17,7 @@
 ⟨ ¯1 0 1 1 ⟩
 </pre>
 <h2 id="---multiply"><a class="header" href="#---multiply"><code><span class='Value'>𝕨</span> <span class='Function'>×</span> <span class='Value'>𝕩</span></code>: Multiply</a></h2>
-<h2 id="-multiplied-by-"><a class="header" href="#-multiplied-by-"><code><span class='Value'>𝕨</span></code> multiplied by <code><span class='Value'>𝕩</span></code>.</a></h2>
+<p><code><span class='Value'>𝕨</span></code> multiplied by <code><span class='Value'>𝕩</span></code>.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAxIMOXIDIKCiAgMiDDlyAy4oC/M+KAvzQ=">↗️</a><pre>      <span class='Number'>1</span> <span class='Function'>×</span> <span class='Number'>2</span>
 2
diff --git a/docs/help/squareroot_root.html b/docs/help/squareroot_root.html
index 94883873..15da07b3 100644
--- a/docs/help/squareroot_root.html
+++ b/docs/help/squareroot_root.html
@@ -11,7 +11,7 @@
 1.414213562373095
 </pre>
 <h2 id="---root"><a class="header" href="#---root"><code><span class='Value'>𝕨</span> <span class='Function'>√</span> <span class='Value'>𝕩</span></code>: Root</a></h2>
-<h2 id="th-root-of-"><a class="header" href="#th-root-of-"><code><span class='Value'>𝕨</span></code>th root of <code><span class='Value'>𝕩</span></code>.</a></h2>
+<p><code><span class='Value'>𝕨</span></code>th root of <code><span class='Value'>𝕩</span></code>.</p>
 <p><a href="https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion">Pervasive.</a></p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAyIOKImiAyCgogIDHigL8y4oC/M+KAvzQg4oiaIDQgIA==">↗️</a><pre>      <span class='Number'>2</span> <span class='Function'>√</span> <span class='Number'>2</span>
 1.414213562373095
diff --git a/docs/help/transpose_reorderaxes.html b/docs/help/transpose_reorderaxes.html
index 2d42e13a..17719fdf 100644
--- a/docs/help/transpose_reorderaxes.html
+++ b/docs/help/transpose_reorderaxes.html
@@ -21,7 +21,7 @@
        <span class='Function'>≢⍉</span> <span class='Value'>b</span>
 ⟨ 2 3 1 ⟩
 </pre>
-<h2 id="---dyad"><a class="header" href="#---dyad"><code><span class='Value'>𝕨</span> <span class='Function'>⍉</span> <span class='Value'>𝕩</span></code>: Dyad</a></h2>
+<h2 id="---reorder-axes"><a class="header" href="#---reorder-axes"><code><span class='Value'>𝕨</span> <span class='Function'>⍉</span> <span class='Value'>𝕩</span></code>: Reorder Axes</a></h2>
 <p>Rearrange the axes of <code><span class='Value'>𝕩</span></code> as per the axis indices in <code><span class='Value'>𝕨</span></code>.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAg4omiIGEg4oaQIDLigL8z4oC/NOKAvzXigL82IOKlijEKCiAgIOKJoiAx4oC/M+KAvzLigL8w4oC/NCDijYkgYQ==">↗️</a><pre>       <span class='Function'>≢</span> <span class='Value'>a</span> <span class='Gets'>←</span> <span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>6</span> <span class='Function'>⥊</span><span class='Number'>1</span>
 <span class='Error'>Error: Redefinition</span>
diff --git a/docs/help/valences.html b/docs/help/valences.html
index bca22e88..8a1072d8 100644
--- a/docs/help/valences.html
+++ b/docs/help/valences.html
@@ -13,7 +13,7 @@
        <span class='Function'>-</span><span class='Modifier2'>⊘</span><span class='Function'>+</span> <span class='Number'>5</span>
 ¯5
 </pre>
-<h2 id="---valences"><a class="header" href="#---valences"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⊘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Valences</a></h2>
+<h2 id="---dyadic-valences"><a class="header" href="#---dyadic-valences"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>⊘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic Valences</a></h2>
 <p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgNCAr4oqYLSA1CgogICA0IC3iipgrIDU=">↗️</a><pre>       <span class='Number'>4</span> <span class='Function'>+</span><span class='Modifier2'>⊘</span><span class='Function'>-</span> <span class='Number'>5</span>
 ¯1