From b2374aef747b4988417f896fdf33852dd57b9b07 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 3 Feb 2021 13:43:13 -0500
Subject: Rename Unique Mask to Mark Firsts

---
 docs/spec/inferred.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/spec/inferred.html')

diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html
index 33470f4f..79d6e00d 100644
--- a/docs/spec/inferred.html
+++ b/docs/spec/inferred.html
@@ -450,7 +450,7 @@
 </tr>
 <tr>
 <td><code><span class='Value'>k</span><span class='Function'>𝔽𝔾</span></code></td>
-<td><code><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Function'>⊢</span></code></td>
+<td><code><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Brace'>{</span><span class='Value'>𝕨</span><span class='Function'>𝔽𝔾</span><span class='Value'>𝕩</span><span class='Brace'>}</span><span class='Paren'>(</span><span class='Value'>k</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Function'>⊢</span><span class='Paren'>)</span></code></td>
 <td>Constant <code><span class='Value'>k</span></code></td>
 </tr>
 <tr>
-- 
cgit v1.2.3