From 7c24767d82a01f23e1c4010f1a9d0c02f2befc5f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 4 Jan 2022 22:03:22 -0500 Subject: =?UTF-8?q?Switch=20from=20using=20=E2=89=8D=20to=20=E2=8B=88=20in?= =?UTF-8?q?=20the=20tutorials=20so=20far?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/tutorial/combinator.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/tutorial/combinator.html') diff --git a/docs/tutorial/combinator.html b/docs/tutorial/combinator.html index abfcfbe0..65b223ab 100644 --- a/docs/tutorial/combinator.html +++ b/docs/tutorial/combinator.html @@ -304,10 +304,10 @@ ↗️
    "string" = "sting"
 0
 
-

Let's use the list formation function Solo/Couple () to see what happens more clearly:

-↗️
    "string"  "sting"
+

Let's use the list formation function Enlist/Pair () to see what happens more clearly:

+↗️
    "string"  "sting"
 ⟨ 6 5 ⟩
-     "sting"
+     "sting"
 ⟨ 5 ⟩
 

Atop always applies its right operand once, passing every argument (that is, one or two of them) in that call. Over calls its right operand on each argument individually. The results are then all used as arguments to the left operand. If there's only one argument, Atop and Over turn out to be the same: both of them call the right operand, then the left, like ordinary mathematical composition. Here are the two together for comparison.

-- cgit v1.2.3