aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/undo.md2
-rw-r--r--docs/doc/undo.html1
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>