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/firstcell_select.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'docs/help/firstcell_select.html') diff --git a/docs/help/firstcell_select.html b/docs/help/firstcell_select.html index 63369774..54cfd324 100644 --- a/docs/help/firstcell_select.html +++ b/docs/help/firstcell_select.html @@ -19,13 +19,12 @@

𝕨 ⊏ 𝕩: Select

Select the major cells of 𝕨 at the indices in 𝕩.

-↗️
       2‿0 ⊏ ⟨1, 2, 3⟩
+↗️
       2‿0 ⊏ ⟨1, 2, 3⟩
 ⟨ 3 1 ⟩
 
-       a ← 3‿3 ⥊ ↕9
-Error: Redefinition
+       b ← 3‿3 ⥊ ↕9
 
-       2‿0 ⊏ a
+       2‿0 ⊏ b
 ┌─       
 ╵ 6 7 8  
   0 1 2  
-- 
cgit v1.2.3