diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-04 22:03:22 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-04 22:03:22 -0500 |
| commit | 7c24767d82a01f23e1c4010f1a9d0c02f2befc5f (patch) | |
| tree | c2882822fd33574b6d94e18dba0d62e635579cb9 /tutorial/combinator.md | |
| parent | c0effcec4d7e01c2e75614372780a115dcf203b8 (diff) | |
Switch from using ≍ to ⋈ in the tutorials so far
Diffstat (limited to 'tutorial/combinator.md')
| -rw-r--r-- | tutorial/combinator.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tutorial/combinator.md b/tutorial/combinator.md index 77c77d8c..7ae8237c 100644 --- a/tutorial/combinator.md +++ b/tutorial/combinator.md @@ -151,10 +151,10 @@ This is a very common pattern, and a sensible language should have a better way "string" =○≠ "sting" -Let's use the list formation function Solo/Couple (`≍`) to see what happens more clearly: +Let's use the list formation function Enlist/Pair (`⋈`) to see what happens more clearly: - "string" ≍○≠ "sting" - ≍○≠ "sting" + "string" ⋈○≠ "sting" + ⋈○≠ "sting" 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. |