diff options
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -139,7 +139,7 @@ Glyph | Name(s) | Definition | Description `β` | 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 | `{πΎβΌβπ½βπΎ}` 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). |
