aboutsummaryrefslogtreecommitdiff
path: root/help/after_bindright.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-19 15:10:38 -0500
committerGitHub <noreply@github.com>2022-01-19 15:10:38 -0500
commitce364aeae795ca8a8e46e653b8024ac5a9ad0982 (patch)
tree7af238dbdb370a768f965066dadadd144cbd70f7 /help/after_bindright.md
parent8f0aa14fa695ff3aa3b3ed96c02fdb2ab99f272c (diff)
parentedddb9be0aa1f03c8608d3dabf7ccfea3fdde206 (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.md43
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)
+
+