From ac6ac58f2532ad972ef389347a66bf4b526f6444 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 24 Nov 2021 10:33:18 -0500
Subject: Undo headers are supported now!

---
 docs/doc/undo.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'docs')

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>
-- 
cgit v1.2.3