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 --- docs/help/after_bindright.html | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 docs/help/after_bindright.html (limited to 'docs/help/after_bindright.html') diff --git a/docs/help/after_bindright.html b/docs/help/after_bindright.html new file mode 100644 index 00000000..1e3266ef --- /dev/null +++ b/docs/help/after_bindright.html @@ -0,0 +1,40 @@ + + + + BQN: Left Multimap (`⟜`) + +
(github) / BQN / help
+

Left Multimap (⟜)

+

𝔽⟜𝕘 𝕩: Bind

+

Supply 𝕘 as a right argument to 𝔽 (𝕩 𝔽 𝕘).

+

𝕘 must be a value, F must be dyadic.

+↗️
       -⟜3 9
+6
+
+       - 3 9
+Error: Double subjects (missing ‿?)
+
+       9 - 3
+6
+
+

𝔽⟜𝔾 𝕩: After

+

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕩 𝔽 (𝔾 𝕩)).

+

𝔽 must be dyadic, 𝔾 must be monadic.

+↗️
       ×⟜- 9
+¯81
+
+       × - 9
+¯1
+
+       9 × (- 9)
+¯81
+
+

𝕨 𝔽⟜𝔾 𝕩: Dyadic After

+

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕨 𝔽 (𝔾 𝕩)).

+

𝔽 must be dyadic, 𝔾 must be monadic.

+↗️
       2 ×⟜- 1
+¯2
+
+       2 × (- 1)
+¯2
+
-- cgit v1.2.3