diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-15 12:27:10 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-15 12:27:10 -0400 |
| commit | e9eec52cc74713cfde1314319c2fc6c3b19144cf (patch) | |
| tree | e6cc20e348c767cba412dc9356ff3ecbf98f1e78 /doc/primitive.md | |
| parent | ef84cc428ec0f22aa2fcdc21c8669843c27c7727 (diff) | |
Documentation for Choose
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 318d360f..79d6120b 100644 --- a/doc/primitive.md +++ b/doc/primitive.md @@ -75,7 +75,7 @@ Glyph | Name(s) | Definition | Description `β` | After/Bind | `{(π¨β£π©)π½πΎπ©}` | `π½`'s right argument comes from `πΎ` `βΎ` | Under | `{πΎβΌβπ½βπΎ}` OR `{(πΎπ©)β©π¨π½βπΎπ©βπ©}` | Apply `π½` over `πΎ`, then undo `πΎ` `β` | [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](choose.md) | `{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). |
