diff options
Diffstat (limited to 'doc/undo.md')
| -rw-r--r-- | doc/undo.md | 4 |
1 files changed, 2 insertions, 2 deletions
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. |