From c6cab48977311e88bf26c0d5b25ee09b95817ab4 Mon Sep 17 00:00:00 2001
From: razetime <raghuallthetime@hotmail.com>
Date: Thu, 20 Jan 2022 08:47:02 +0530
Subject: fix repl redef errors

---
 help/first_pick.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'help/first_pick.md')

diff --git a/help/first_pick.md b/help/first_pick.md
index c415b8f9..c85be515 100644
--- a/help/first_pick.md
+++ b/help/first_pick.md
@@ -20,8 +20,8 @@ Pick the element of `𝕨` at index `𝕩`.
     
            2 ⊑ ⟨1, 2, 3⟩
 
-           a ← 3‿3 ⥊ ↕9
+           b ← 3‿3 ⥊ ↕9
 
-           2‿0 ⊑ a
+           2‿0 ⊑ b
 
     
-- 
cgit v1.2.3