diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-06-07 13:07:48 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-06-07 13:11:02 -0400 |
| commit | 99f8a78501a1568d4a67178df727b1c6750942d4 (patch) | |
| tree | a6d8a3a71192ed72df14470bf2f390fecec56fc8 | |
| parent | e46509d1a3ac181705932fe07e99ca0816f997aa (diff) | |
Formatting
| -rw-r--r-- | README.md | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -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 | |
