diff options
Diffstat (limited to 'doc/primitive.md')
| -rw-r--r-- | doc/primitive.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/primitive.md b/doc/primitive.md index c358d80a..b1253e3c 100644 --- a/doc/primitive.md +++ b/doc/primitive.md @@ -74,7 +74,7 @@ Glyph | Name(s) | Definition | Description `βΈ` | Before/Bind | `{(π½π¨β£π©)πΎπ©}` | `πΎ`'s left argument comes from `π½` `β` | After/Bind | `{(π¨β£π©)π½πΎπ©}` | `π½`'s right argument comes from `πΎ` `βΎ` | Under | `{πΎβΌβπ½βπΎ}` OR `{(πΎπ©)β©π¨π½βπΎπ©βπ©}` | Apply `π½` over `πΎ`, then undo `πΎ` -`β` | Valences | `{π½π©;π¨πΎπ©}` | Apply `π½` if there's one argument but `πΎ` if there are two +`β` | [Valences](valences.md) | `{π½π©;π¨πΎπ©}` | Apply `π½` if there's one argument but `πΎ` if there are two `βΆ` | Choose | `{fβ(π¨π½π©)βπ β π¨Fπ©}` | Select one of the functions in list `π` based on `π½` Choose isn't really a combinator since it calls the function `β`, and 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). |
