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/first_pick.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'docs/help/first_pick.html') diff --git a/docs/help/first_pick.html b/docs/help/first_pick.html index 6c829cbf..e9a5a7f7 100644 --- a/docs/help/first_pick.html +++ b/docs/help/first_pick.html @@ -17,12 +17,11 @@

𝕨 ⊑ 𝕩: Pick

Pick the element of 𝕨 at index 𝕩.

-↗️
       2 ⊑ ⟨1, 2, 3⟩
+↗️
       2 ⊑ ⟨1, 2, 3⟩
 3
 
-       a ← 3‿3 ⥊ ↕9
-Error: Redefinition
+       b ← 3‿3 ⥊ ↕9
 
-       2‿0 ⊑ a
+       2‿0 ⊑ b
 6
 

-- 
cgit v1.2.3