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/reverse_rotate.html | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'docs/help/reverse_rotate.html') diff --git a/docs/help/reverse_rotate.html b/docs/help/reverse_rotate.html index 10b7cbb0..1060311c 100644 --- a/docs/help/reverse_rotate.html +++ b/docs/help/reverse_rotate.html @@ -21,13 +21,12 @@

𝕨 ⌽ 𝕩: Dyad

Move the first 𝕨 elements of 𝕩 to its end. Negative 𝕨 reverses the direction of rotation.

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