From c6cab48977311e88bf26c0d5b25ee09b95817ab4 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 08:47:02 +0530 Subject: fix repl redef errors --- docs/help/classify_indexof.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'docs/help/classify_indexof.html') diff --git a/docs/help/classify_indexof.html b/docs/help/classify_indexof.html index 439380a8..558b42b2 100644 --- a/docs/help/classify_indexof.html +++ b/docs/help/classify_indexof.html @@ -18,13 +18,12 @@

𝕨 ⊐ 𝕩: 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
+↗️
       5‿6‿2‿2‿5‿1 ⊐ 5‿2‿1‿6
 ⟨ 0 2 5 1 ⟩
 
-       a ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
-Error: Redefinition
+       b ← 3‿3 ⥊ 0‿1‿2‿9‿0‿9‿0‿1‿2
 
-       a ⊐ ⟨9‿0‿9⟩
+       b ⊐ ⟨9‿0‿9⟩
 ┌·   
 · 3  
     ┘
-- 
cgit v1.2.3