From 2c50d91ec7eb8bc7890befe874a0b93729c2437e Mon Sep 17 00:00:00 2001 From: razetime Date: Wed, 19 Jan 2022 22:48:16 +0530 Subject: add h2s remove copied output, ascii filenames --- help/after_bindright.md | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 help/after_bindright.md (limited to 'help/after_bindright.md') diff --git a/help/after_bindright.md b/help/after_bindright.md new file mode 100644 index 00000000..653b5f55 --- /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) + + -- cgit v1.2.3 From edddb9be0aa1f03c8608d3dabf7ccfea3fdde206 Mon Sep 17 00:00:00 2001 From: razetime Date: Wed, 19 Jan 2022 22:52:35 +0530 Subject: fix erratic h2s --- help/after_bindright.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'help/after_bindright.md') diff --git a/help/after_bindright.md b/help/after_bindright.md index 653b5f55..e8cb2bcb 100644 --- a/help/after_bindright.md +++ b/help/after_bindright.md @@ -20,7 +20,7 @@ Supply `𝕘` as a right argument to `𝔽` (`𝕩 𝔽 𝕘`). Apply `𝔾` to `𝕩`, and supply it as a right argument to `𝔽` (`𝕩 𝔽 (𝔾 𝕩)`). -## `𝔽` must be dyadic, `𝔾` must be monadic. +`𝔽` must be dyadic, `𝔾` must be monadic. ×⟜- 9 @@ -34,7 +34,7 @@ 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. +`𝔽` must be dyadic, `𝔾` must be monadic. 2 ×⟜- 1 -- cgit v1.2.3