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

𝕨 𝔽˝ 𝕩: Insert With initial

Monadic insert, but use 𝕨 as initial right argument.

If

-↗️
       a ← 3‿3 ⥊ ↕9
-Error: Redefinition
+↗️
       b ← 3‿3 ⥊ ↕9
 
-       1‿1‿1 +˝ a
+       1‿1‿1 +˝ b
 ⟨ 10 13 16 ⟩
 
-       1 +˝ a
+       1 +˝ b
 ⟨ 10 13 16 ⟩
 
        0‿1‿2 + 3‿4‿5 + 6‿7‿8 + 1‿1‿1
-- 
cgit v1.2.3