diff options
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 5e7d6276..ccf210fe 100644 --- a/docs/doc/undo.html +++ b/docs/doc/undo.html @@ -46,8 +46,8 @@ ERROR <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='Value'>๐ฉ</span><span class='Function'>+</span><span class='Number'>1</span> - <span class='Function'>๐</span><span class='Modifier'>โผ</span><span class='Value'>๐ฉ:</span> <span class='Value'>๐ฉ</span><span class='Function'>รท</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='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='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> |