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 --- doc/undo.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/undo.md b/doc/undo.md index e8f1605e..bc536e27 100644 --- a/doc/undo.md +++ b/doc/undo.md @@ -49,8 +49,8 @@ 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. { - π•Šπ•©: 𝕩÷𝕩+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