From e2b07a5fd0bbaad232c717fb90a31d6c61d72bd4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 14 Jul 2022 20:06:50 -0400 Subject: Try to include previous variable definitions in REPL links --- docs/doc/constant.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/constant.html') diff --git a/docs/doc/constant.html b/docs/doc/constant.html index d68235aa..258ae26b 100644 --- a/docs/doc/constant.html +++ b/docs/doc/constant.html @@ -50,6 +50,6 @@ ⟨ 1 2 ¯3 4 ⟩

Here m is applied to 2⊑𝕩 even though we want to discard that value. Spelled as m, our context-free grammar knows it's a function argument, but this doesn't affect later usage. Under always applies 𝔽 as a function. The proper definition of the insertion function should use a ˙, like this:

-↗️
    m {𝕨˙⌾(2⊸⊑) 𝕩} 1‿2‿3‿4
+↗️
    m {𝕨˙⌾(2⊸⊑) 𝕩} 1‿2‿3‿4
 ⟨ 1 2 - 4 ⟩
 

-- 
cgit v1.2.3