From f657dbb92d5c96e6846ab29fd5c14b590b4403a8 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 24 Nov 2021 10:30:08 -0500 Subject: Fix missing ; and wrong arithmetic in undo header example --- docs/doc/undo.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') 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

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 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.

{
-  ๐•Š๐•ฉ:  ๐•ฉรท๐•ฉ+1
-  ๐•Šโผ๐•ฉ: ๐•ฉรท๐•ฉ-1
+  ๐•Š๐•ฉ:  ๐•ฉรท1+๐•ฉ ;
+  ๐•Šโผ๐•ฉ: ๐•ฉรท1-๐•ฉ
 }

The above function could also be defined with the automatically invertible 1โŠธ+โŒพรท, 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 โผ and possibly หœ addition to the function and arguments.

-- cgit v1.2.3