aboutsummaryrefslogtreecommitdiff
path: root/docs/doc
diff options
context:
space:
mode:
Diffstat (limited to 'docs/doc')
-rw-r--r--docs/doc/undo.html1
1 files changed, 0 insertions, 1 deletions
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>