diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-28 16:34:41 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-28 16:34:41 -0500 |
| commit | 0c716e4c6b7c2c44bbfd02b6503cae66af7b7480 (patch) | |
| tree | ac880382ea281825027b34768d6512d340596e56 /docs/doc/undo.html | |
| parent | 4821f231a00dc93c42fb437359ea657c59c63053 (diff) | |
Separate syntax highlighting category for header/body characters ;:?
Diffstat (limited to 'docs/doc/undo.html')
| -rw-r--r-- | docs/doc/undo.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/doc/undo.html b/docs/doc/undo.html index f2082a10..3a2ddcba 100644 --- a/docs/doc/undo.html +++ b/docs/doc/undo.html @@ -45,8 +45,8 @@ <h2 id="undo-headers"><a class="header" href="#undo-headers">Undo headers</a></h2> <p>Of course BQN will never be able to invert all the functions you could write (if it could you could earn a <em>lot</em> of bitcoins, among other feats). But it does recognize some <a href="block.html#block-headers">header</a> forms that you can use to specify the inverse of a block function. BQN will trust you and won't verify the results your specified inverse gives.</p> <pre><span class='Brace'>{</span> - <span class='Function'>๐</span><span class='Value'>๐ฉ:</span> <span class='Value'>๐ฉ</span><span class='Function'>รท</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>๐ฉ</span> <span class='Value'>;</span> - <span class='Function'>๐</span><span class='Modifier'>โผ</span><span class='Value'>๐ฉ:</span> <span class='Value'>๐ฉ</span><span class='Function'>รท</span><span class='Number'>1</span><span class='Function'>-</span><span class='Value'>๐ฉ</span> + <span class='Function'>๐</span><span class='Value'>๐ฉ</span><span class='Head'>:</span> <span class='Value'>๐ฉ</span><span class='Function'>รท</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>๐ฉ</span> <span class='Head'>;</span> + <span class='Function'>๐</span><span class='Modifier'>โผ</span><span class='Value'>๐ฉ</span><span class='Head'>:</span> <span class='Value'>๐ฉ</span><span class='Function'>รท</span><span class='Number'>1</span><span class='Function'>-</span><span class='Value'>๐ฉ</span> <span class='Brace'>}</span> </pre> <p>The above function could also be defined with the automatically invertible <code><span class='Number'>1</span><span class='Modifier2'>โธ</span><span class='Function'>+</span><span class='Modifier2'>โพ</span><span class='Function'>รท</span></code>, but maybe there's a numerical reason to use the definition above. Like a normal header, an undo header reflects the normal use, but it includes <code><span class='Modifier'>โผ</span></code> and possibly <code><span class='Modifier'>ห</span></code> addition to the function and arguments.</p> |