From 99f8a78501a1568d4a67178df727b1c6750942d4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 7 Jun 2020 13:07:48 -0400 Subject: Formatting --- README.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index c307bf43..5f6bc64d 100644 --- a/README.md +++ b/README.md @@ -129,11 +129,11 @@ Glyph(s) | Meaning Glyph | Name(s) | Definition | Description ------|-------------|--------------------------------|--------------------------------------- `˜` | Self/Swap | `{π•©π”½π•¨βŠ£π•©}` | Duplicate one argument or exchange two -`∘` | Atop | `{𝔽𝕨𝔾𝕩}` | Apply 𝔾 to both arguments and 𝔽 to the result -`β—‹` | Over | `{(𝔾𝕨)𝔽𝔾𝕩}` | Apply 𝔾 to each argument and 𝔽 to the results -`⊸` | Before/Bind | `{(𝔽𝕨)𝔾𝕩}˜˜` | 𝔾's left argument comes from 𝔽 -`⟜` | After/Bind | `{𝕨𝔽𝔾𝕩}˜˜` | 𝔽's right argument comes from 𝔾 -`⌾` | Under | `{π”ΎβΌβˆ˜π”½β—‹π”Ύ}` OR `{(𝔾𝕩)←𝕨𝔽○𝔾𝕩⋄𝕩}` | Apply 𝔽 over 𝔾, then undo 𝔾 +`∘` | Atop | `{𝔽𝕨𝔾𝕩}` | Apply `𝔾` to both arguments and `𝔽` to the result +`β—‹` | Over | `{(𝔾𝕨)𝔽𝔾𝕩}` | Apply `𝔾` to each argument and `𝔽` to the results +`⊸` | Before/Bind | `{(𝔽𝕨)𝔾𝕩}˜˜` | `𝔾`'s left argument comes from `𝔽` +`⟜` | After/Bind | `{𝕨𝔽𝔾𝕩}˜˜` | `𝔽`'s right argument comes from `𝔾` +`⌾` | Under | `{π”ΎβΌβˆ˜π”½β—‹π”Ύ}` OR `{(𝔾𝕩)←𝕨𝔽○𝔾𝕩⋄𝕩}` | Apply `𝔽` over `𝔾`, then undo `𝔾` Under is not a true combinator since it has an "undo" step at the end. This step might be implemented using the left operand's inverse (*computational* Under) or its structural properties (*structural* Under). @@ -141,10 +141,10 @@ Other modifiers and compositions control array traversal and iteration. In three Modifier | Name | Compositon | Name ---------|---------|------------|-------- -`˘` | Cells | βŽ‰ | Rank -`Β¨` | Each | βš‡ | Depth +`˘` | Cells | `βŽ‰` | Rank +`Β¨` | Each | `βš‡` | Depth `⌜` | Table | -`⁼` | Inverse | ⍟ | Iterate +`⁼` | Inverse | `⍟` | Iterate `Β΄` | Reduce | `` ` `` | Scan | -- cgit v1.2.3