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/deduplicate_find.html | 21 ++++++++++++--------- 1 file changed, 12 insertions(+), 9 deletions(-) (limited to 'docs/help/deduplicate_find.html') diff --git a/docs/help/deduplicate_find.html b/docs/help/deduplicate_find.html index 8a57c765..411812e8 100644 --- a/docs/help/deduplicate_find.html +++ b/docs/help/deduplicate_find.html @@ -21,20 +21,23 @@

𝕨 ⍷ 𝕩: 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"
+↗️
       "string" ⍷ "substring"
 ⟨ 0 0 0 1 ⟩
 
        "loooooong" ⍷ "short"
 ⟨⟩
 
-       a ← 7 (4|⋆˜)⌜○↕ 9
-Error: Redefinition
+       b ← 7 (4|⋆˜)⌜○↕ 9
 
-       b ← (0‿3‿0≍0‿1‿0)
+       c ← (0‿3‿0≍0‿1‿0)
 
-       b ⍷ a
-┌─   
-╵ 0  
-  0  
-    ┘
+       c ⍷ b
+┌─               
+╵ 0 0 0 0 0 0 0  
+  0 0 0 0 0 0 0  
+  0 0 0 0 0 0 0  
+  0 0 1 0 0 0 1  
+  0 0 0 0 0 0 0  
+  0 0 1 0 0 0 1  
+                ┘
 

-- 
cgit v1.2.3