From 3338439f07f5e583d317ba9c6aed75e0b6093c3f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 23 Jan 2022 22:48:11 -0500 Subject: Minor terminology fixes --- docs/help/after_bind.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/help/after_bind.html') diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html index 6d3b8d9d..3e71d3b2 100644 --- a/docs/help/after_bind.html +++ b/docs/help/after_bind.html @@ -7,7 +7,7 @@

Left Multimap ()

𝔽𝕘 𝕩: Bind

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

-

𝕘 must be a value, F must be dyadic.

+

𝕘 is a constant, 𝔽 must be dyadic.

↗️
       -3 9
 6
 
-- 
cgit v1.2.3