diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 13:43:13 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 15:24:53 -0500 |
| commit | b2374aef747b4988417f896fdf33852dd57b9b07 (patch) | |
| tree | e04294eeefecca837026b82c2e8e96ff564d011e /docs/spec/inferred.html | |
| parent | ad582b5ef4184e26be86ef61be60c28e90b0bb7d (diff) | |
Rename Unique Mask to Mark Firsts
Diffstat (limited to 'docs/spec/inferred.html')
| -rw-r--r-- | docs/spec/inferred.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |