diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-19 15:10:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-19 15:10:38 -0500 |
| commit | ce364aeae795ca8a8e46e653b8024ac5a9ad0982 (patch) | |
| tree | 7af238dbdb370a768f965066dadadd144cbd70f7 /help/after_bindright.md | |
| parent | 8f0aa14fa695ff3aa3b3ed96c02fdb2ab99f272c (diff) | |
| parent | edddb9be0aa1f03c8608d3dabf7ccfea3fdde206 (diff) | |
Merge pull request #55 from razetime/master
Simple help pages for Primitive Symbols
Diffstat (limited to 'help/after_bindright.md')
| -rw-r--r-- | help/after_bindright.md | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/help/after_bindright.md b/help/after_bindright.md new file mode 100644 index 00000000..e8cb2bcb --- /dev/null +++ b/help/after_bindright.md @@ -0,0 +1,43 @@ +*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/after_bindright.html).* + +# Left Multimap (`⟜`) + +## `𝔽⟜𝕘 𝕩`: Bind + +Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`). + +## `𝕘` must be a value, `F` must be dyadic. + + -⟜3 9 + + - 3 9 + + 9 - 3 + + + +## `𝔽⟜𝔾 𝕩`: After + +Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕩 𝔽 (𝔾 𝕩)`). + +`𝔽` must be dyadic, `𝔾` must be monadic. + + ×⟜- 9 + + × - 9 + + 9 × (- 9) + + + +## `𝕨 𝔽⟜𝔾 𝕩`: Dyadic After + +Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕨 𝔽 (𝔾 𝕩)`). + +`𝔽` must be dyadic, `𝔾` must be monadic. + + 2 ×⟜- 1 + + 2 × (- 1) + + |
