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/classify_indexof.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/classify_indexof.html') diff --git a/docs/help/classify_indexof.html b/docs/help/classify_indexof.html index 15c01b1d..143393be 100644 --- a/docs/help/classify_indexof.html +++ b/docs/help/classify_indexof.html @@ -5,7 +5,7 @@
(github) / BQN / help

Square Original Of (⊐)

-

⊐ 𝕩: Classify

+

⊐ 𝕩: Classify

First index of each major cell of 𝕩 in 𝕩.

↗️
       ⊐ 5‿6‿2‿2‿5‿1
 ⟨ 0 1 2 2 0 3 ⟩
@@ -15,7 +15,7 @@
        ⊐ a
 ⟨ 0 1 0 ⟩
-

𝕨 ⊐ 𝕩: Index Of

+

𝕨 ⊐ 𝕩: Index Of

First index of each major cell of 𝕩 in 𝕨. Rank of 𝕩 must be at least cell rank of 𝕨`.

If a cell is not found in 𝕨, that position will contain the length of 𝕨 (≠𝕨).

↗️
       5‿6‿2‿2‿5‿1 ⊐ 5‿2‿1‿6
-- 
cgit v1.2.3