From 8659fe5eb829b912b21c5ef604d8a7f36a74ee28 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 3 Aug 2021 17:08:58 -0400 Subject: Some links to undo.md --- docs/doc/reverse.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/reverse.html') diff --git a/docs/doc/reverse.html b/docs/doc/reverse.html index 62eae902..4fc5165a 100644 --- a/docs/doc/reverse.html +++ b/docs/doc/reverse.html @@ -38,7 +38,7 @@ ≍○<˜´ ⌽ "abcd" # Left to right ⟨ ⟨ "ab" 'c' ⟩ 'd' ⟩ -

Reverse is its own inverse ⌽⁼. As a result, 𝔽⌾⌽ reverses the argument, applies 𝔽, and reverses again. It's a particularly useful pattern with Scan, as it allows scanning from the end rather than the beginning of the array. For example, ∨` on a list of booleans changes all bits after the first 1 to 1, but ∨`⌾⌽ does this to all bits before the last 1.

+

Reverse is its own inverse ⌽⁼. As a result, 𝔽⌾⌽ reverses the argument, applies 𝔽, and reverses again. It's a particularly useful pattern with Scan, as it allows scanning from the end rather than the beginning of the array. For example, ∨` on a list of booleans changes all bits after the first 1 to 1, but ∨`⌾⌽ does this to all bits before the last 1.

↗️
    ∨`   0‿0‿1‿0‿0‿1‿0
 ⟨ 0 0 1 1 1 1 1 ⟩
 
-- 
cgit v1.2.3