From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 18:12:13 -0500 Subject: Github doesn't remove Unicode letters from header slugs apparently --- docs/help/deduplicate_find.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/deduplicate_find.html') diff --git a/docs/help/deduplicate_find.html b/docs/help/deduplicate_find.html index 5c05059c..cefe3b8f 100644 --- a/docs/help/deduplicate_find.html +++ b/docs/help/deduplicate_find.html @@ -5,7 +5,7 @@
(github) / BQN / help

Epsilon Underbar (⍷)

-

⍷ 𝕩: Deduplicate

+

⍷ 𝕩: Deduplicate

Unique major cells of 𝕩.

↗️
       ⍷ 4‿5‿6‿6‿4‿7‿5
 ⟨ 4 5 6 7 ⟩
@@ -18,7 +18,7 @@
   3 4 5  
         ┘
-

𝕨 ⍷ 𝕩: Find

+

𝕨 ⍷ 𝕩: Find

Mark the top left location of the occurrences of 𝕨 in 𝕩 with a 1, and other locations with 0.

Result is the same shape as (≢𝕨)↕x.

↗️
       "string" ⍷ "substring"
-- 
cgit v1.2.3