diff options
| -rw-r--r-- | doc/undo.md | 2 | ||||
| -rw-r--r-- | docs/doc/undo.html | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/doc/undo.md b/doc/undo.md index bc536e27..3dded26a 100644 --- a/doc/undo.md +++ b/doc/undo.md @@ -44,8 +44,6 @@ Structural functions like [Take](take.md) and [shifts](shift.md) that remove ele ## Undo headers -Undo headers are currently supported only by dzaima/BQN. - Of course BQN will never be able to invert all the functions you could write (if it could you could earn a *lot* of bitcoins, among other feats). But it does recognize some [header](block.md#block-headers) 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. { diff --git a/docs/doc/undo.html b/docs/doc/undo.html index ccf210fe..5afa4543 100644 --- a/docs/doc/undo.html +++ b/docs/doc/undo.html @@ -43,7 +43,6 @@ ERROR 3 </pre> <h2 id="undo-headers"><a class="header" href="#undo-headers">Undo headers</a></h2> -<p>Undo headers are currently supported only by dzaima/BQN.</p> <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> |
