From 31b722e16e6a0f6b0f08e8409b2c7e240937bfed Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 27 Apr 2022 22:21:50 -0400
Subject: Documentation for Under

---
 doc/constant.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/constant.md')

diff --git a/doc/constant.md b/doc/constant.md
index 73413a03..55c95f82 100644
--- a/doc/constant.md
+++ b/doc/constant.md
@@ -23,6 +23,6 @@ When programming with [first-class functions](functional.md), the constant appli
         M ← -
         m {𝕨⌾(2⊸⊑) 𝕩} 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](context.md) knows it's a function argument, but this [doesn't affect](../problems.md#syntactic-type-erasure) later usage. Under always applies `𝔽` as a function. The proper definition of the insertion function should use a `˙`, like this:
+Here `m` is applied to `2⊑𝕩` even though we want to discard that value. Spelled as `m`, our [context-free grammar](context.md) knows it's a function argument, but this [doesn't affect](../problems.md#syntactic-type-erasure) later usage. [Under](under.md) always applies `𝔽` as a function. The proper definition of the insertion function should use a `˙`, like this:
 
         m {𝕨˙⌾(2⊸⊑) 𝕩} 1‿2‿3‿4
-- 
cgit v1.2.3