diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:22:37 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-14 10:22:37 -0500 |
| commit | c7764d31ac245d2307cd873020a3e0b0a355610f (patch) | |
| tree | a71dfd5b466d782b5322ad6ac3d6abe9341a4ee6 /docs/spec | |
| parent | 15959e10ef4034664fa6a52edf2ede9ba437d9ad (diff) | |
Have to check the result of 𝔽⁼, not just apply it, to validate 𝔽⁼⁼ result
Diffstat (limited to 'docs/spec')
| -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 3733016f..902cb6a8 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -296,7 +296,7 @@ </tr> <tr> <td><code><span class='Modifier'>⁼</span></code></td> -<td><code><span class='Brace'>{</span><span class='Function'>𝔽</span><span class='Modifier'>⁼</span><span class='Modifier2'>⊸</span><span class='Function'>⊢</span><span class='Modifier2'>∘</span><span class='Function'>𝔽</span><span class='Brace'>}</span></code></td> +<td><code><span class='Brace'>{</span><span class='Value'>r</span><span class='Gets'>←</span><span class='Function'>𝔽</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Function'>!</span><span class='Value'>𝕩</span><span class='Function'>≡𝔽</span><span class='Modifier'>⁼</span><span class='Value'>r</span><span class='Separator'>⋄</span><span class='Value'>r</span><span class='Brace'>}</span></code></td> <td></td> </tr> <tr> |