From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:18:08 -0500 Subject: Remove extra leading spaces from code examples --- docs/help/scan.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs/help/scan.html') diff --git a/docs/help/scan.html b/docs/help/scan.html index 464d9fa7..7eee9b98 100644 --- a/docs/help/scan.html +++ b/docs/help/scan.html @@ -7,29 +7,29 @@

Grave (`)

𝔽` 𝕩: Scan

Scan over 𝕩 with 𝔽 from left to right, producing intermediate values.

-↗️
       +` 123
+↗️
    +` 123
 ⟨ 1 3 6 ⟩
 
-       1, 1+2, (1+2)+3
+    1, 1+2, (1+2)+3
 ⟨ 1 3 6 ⟩
 
-       -` 123
+    -` 123
 ⟨ 1 ¯1 ¯4 ⟩
 
-       1, 1-2, (1-2)-3
+    1, 1-2, (1-2)-3
 ⟨ 1 ¯1 ¯4 ⟩
 

𝕨 𝔽` 𝕩: Scan With initial

Monadic scan, but use 𝕨 as initial left argument.

-↗️
       5 +` 123
+↗️
    5 +` 123
 ⟨ 6 8 11 ⟩
 
-       5+1, (5+1)+2, ((5+1)+2)+3
+    5+1, (5+1)+2, ((5+1)+2)+3
 ⟨ 6 8 11 ⟩
 
-       5 -` 123
+    5 -` 123
 ⟨ 4 2 ¯1 ⟩
 
-       5-1, (5-1)-2, ((5-1)-2)-3
+    5-1, (5-1)-2, ((5-1)-2)-3
 ⟨ 4 2 ¯1 ⟩
 
-- cgit v1.2.3