Move introduction of the optional-function rule to main header section, not multiple bodies

1 files changed, 2 insertions, 1 deletions

diff --git a/docs/doc/block.html b/docs/doc/block.html
index cfffe895..115f47ec 100644
--- a/docs/doc/block.html
+++ b/docs/doc/block.html
@@ -184,6 +184,7 @@
 <h3 id="special-names-in-headers"><a class="header" href="#special-names-in-headers">Special names in headers</a></h3>
 <p>Any element of a function or modifier header can be left nameless by using the corresponding special name in that position, instead of an identifier. For example, the header <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>_𝕣_</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Head'>:</span></code> incorporates as much vagueness as possible. It indicates a deferred 2-modifier, but provides no other information.</p>
 <p>The name <code><span class='Value'>𝕨</span></code> in this context can refer to either a left argument or no left argument, allowing a header with arguments to be used even for an ambiguous function. Recall that <code><span class='Value'>𝕨</span></code> is the only token other than <code><span class='Nothing'>·</span></code> that can have no value. If an identifier or list is given as the left argument, then the function must be called with a left argument.</p>
+<p>If a header consists of <code><span class='Function'>𝕊</span></code> with one argument, like <code><span class='Function'>𝕊</span> <span class='Value'>a</span><span class='Ligature'>‿</span><span class='Value'>b</span><span class='Head'>:</span></code> or <code><span class='Function'>𝕊</span><span class='Value'>𝕩</span><span class='Head'>:</span></code>, the <code><span class='Function'>𝕊</span></code> can be left off. See <a href="#case-headers">case headers</a> below for examples. The exception is if the argument is a plain name, as in <code><span class='Function'>𝕊</span> <span class='Value'>arg</span><span class='Head'>:</span></code>, because the header <code><span class='Value'>arg</span><span class='Head'>:</span></code> is a label for an immediate block as described in the next section.</p>
 <h3 id="short-headers"><a class="header" href="#short-headers">Short headers</a></h3>
 <p>A header can also be a plain name with no inputs, called a <em>label</em>. A label specifies the type of the block and gives an internal name that can be used to refer to it, but doesn't specify the inputs.</p>
 <pre><span class='Brace'>{</span> <span class='Value'>b</span><span class='Head'>:</span>   <span class='Comment'># Block
@@ -223,7 +224,7 @@
 <span class='Error'>Error: No header matched arguments</span>
 </pre>
 <h3 id="case-headers"><a class="header" href="#case-headers">Case headers</a></h3>
-<p>A special rule allows for convenient case-matching syntax for one-argument functions. In any function header with one argument, the function name can be omitted as long as the argument is <em>not</em> a plain identifier—it must be <code><span class='Value'>𝕩</span></code> or a compound value like a list to distinguish it from an immediate block label.</p>
+<p>The optional <code><span class='Function'>𝕊</span></code> rule makes for convenient case-matching syntax in one-argument functions.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=YeKGkGLihpAib3V0ZXIiClRlc3Qg4oaQIHsKICAiYWJjIjogInN0cmluZyIgOwogIOKfqDIsYuKfqTog4oy98J2VqSAgICAgICA7CiAgNTogICAgICJudW1iZXIiIDsKICDwnZWpOiAgICAgImRlZmF1bHQiCn0KVGVzdCA1">↗️</a><pre>    <span class='Function'>Test</span> <span class='Gets'>←</span> <span class='Brace'>{</span>
       <span class='String'>&quot;abc&quot;</span><span class='Head'>:</span> <span class='String'>&quot;string&quot;</span> <span class='Head'>;</span>
       <span class='Bracket'>⟨</span><span class='Number'>2</span><span class='Separator'>,</span><span class='Value'>b</span><span class='Bracket'>⟩</span><span class='Head'>:</span> <span class='Function'>⌽</span><span class='Value'>𝕩</span>       <span class='Head'>;</span>