From 8ad841e92f70fba73a5c778aa972186387f9ff5c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 15 Apr 2022 19:23:10 -0400 Subject: Documentation for Before and After --- docs/help/after_bind.html | 3 +++ docs/help/before_bind.html | 3 +++ 2 files changed, 6 insertions(+) (limited to 'docs/help') diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html index 8ef227af..490f105e 100644 --- a/docs/help/after_bind.html +++ b/docs/help/after_bind.html @@ -6,6 +6,7 @@

Left Multimap ()

𝔽𝕘 𝕩: Bind

+

→full documentation

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

𝕘 is a constant, 𝔽 must be dyadic.

↗️
    -3 9
@@ -18,6 +19,7 @@
 6
 

𝔽𝔾 𝕩: After

+

→full documentation

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

𝔽 must be dyadic, 𝔾 must be monadic.

↗️
    ×- 9
@@ -30,6 +32,7 @@
 ¯81
 

𝕨 𝔽𝔾 𝕩: Dyadic After

+

→full documentation

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

𝔽 must be dyadic, 𝔾 must be monadic.

↗️
    2 ×- 1
diff --git a/docs/help/before_bind.html b/docs/help/before_bind.html
index c9f0ca0b..d240921b 100644
--- a/docs/help/before_bind.html
+++ b/docs/help/before_bind.html
@@ -6,6 +6,7 @@
 
 

Multimap ()

𝕗𝔾 𝕩: Bind Left

+

→full documentation

Supply 𝕗 as a left argument to 𝔾 (𝕗 𝔾 𝕩).

𝕗 is a constant, 𝔾 must be dyadic.

↗️
    3- 9
@@ -15,6 +16,7 @@
 ¯6
 

𝔽𝔾 𝕩: Before

+

→full documentation

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

𝔽 must be monadic, 𝔾 must be dyadic.

↗️
    -+ 9
@@ -27,6 +29,7 @@
 0
 

𝕨 𝔽𝔾 𝕩: Dyadic Before

+

→full documentation

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

𝔽 must be monadic, 𝔾 must be dyadic.

↗️
    2 -+ 1
-- 
cgit v1.2.3