aboutsummaryrefslogtreecommitdiff
path: root/doc/primitive.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-15 12:27:10 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-15 12:27:10 -0400
commite9eec52cc74713cfde1314319c2fc6c3b19144cf (patch)
treee6cc20e348c767cba412dc9356ff3ecbf98f1e78 /doc/primitive.md
parentef84cc428ec0f22aa2fcdc21c8669843c27c7727 (diff)
Documentation for Choose
Diffstat (limited to 'doc/primitive.md')
-rw-r--r--doc/primitive.md2
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).