aboutsummaryrefslogtreecommitdiff
path: root/help/after_bind.md
diff options
context:
space:
mode:
Diffstat (limited to 'help/after_bind.md')
-rw-r--r--help/after_bind.md36
1 files changed, 17 insertions, 19 deletions
diff --git a/help/after_bind.md b/help/after_bind.md
index 5ad7bbdc..03759db5 100644
--- a/help/after_bind.md
+++ b/help/after_bind.md
@@ -1,43 +1,41 @@
*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/after_bind.html).*
# Left Multimap (`⟜`)
-
-## `𝔽⟜𝕘 𝕩`: Bind
-
+
+## `𝔽⟜𝕘 𝕩`: Bind
+
Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`).
-
+
`𝕘` is a constant, `𝔽` must be dyadic.
-
+
-⟜3 9
- 3 9
9 - 3
-
-
+
+
## `𝔽⟜𝔾 𝕩`: After
-
-Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕩 𝔽 (𝔾 𝕩)`).
-
+
+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 `𝔽` (`𝕨 𝔽 (𝔾 𝕩)`).
-
+
+Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕨 𝔽 (𝔾 𝕩)`).
+
`𝔽` must be dyadic, `𝔾` must be monadic.
-
+
2 ×⟜- 1
2 × (- 1)
-
-