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/fold.html | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'docs/help/fold.html') diff --git a/docs/help/fold.html b/docs/help/fold.html index e771ca60..cbe5f393 100644 --- a/docs/help/fold.html +++ b/docs/help/fold.html @@ -8,29 +8,29 @@

𝔽´ 𝕩: Fold

Fold over 𝕩 with 𝔽 from right to left i.e. Insert 𝔽 between the elements of 𝕩.

𝕩 must be a simple list (1 = =𝕩).

-↗️
       +´ 123
+↗️
    +´ 123
 6
 
-       1+2+3
+    1+2+3
 6
 
-       -´ 123
+    -´ 123
 2
 
-       1-2-3
+    1-2-3
 2
 

𝕨 𝔽´ 𝕩: Fold With Initial

Monadic fold, but use 𝕨 as initial right argument.

-↗️
       5 +´ 123
+↗️
    5 +´ 123
 11
 
-       1+2+3+5
+    1+2+3+5
 11
 
-       5 -´ 123
+    5 -´ 123
 ¯3
 
-       1-2-3-5
+    1-2-3-5
 ¯3
 
-- cgit v1.2.3