diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-15 13:22:43 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-15 13:40:58 -0500 |
| commit | 357f93d3529b186a3a9bc53b3cc996adee670eb6 (patch) | |
| tree | e97f48eaa2492a070acb95eaab756cf2cb63eadc /docs/spec/inferred.html | |
| parent | 13223db6e900d325c2c68a633fcc88455cdd95f2 (diff) | |
Don't allow F`βΌ of unit
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 e0384202..6dc72400 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -271,7 +271,7 @@ </tr> <tr> <td><code><span class='Modifier'>`</span></code></td> -<td><code><span class='Paren'>(</span><span class='Function'>ββΎ</span><span class='Number'>2</span><span class='Function'>π½</span><span class='Modifier'>βΌΛΛ</span><span class='Modifier2'>β</span><span class='Function'>ββ’</span><span class='Paren'>)</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'><β </span><span class='Paren'>)</span></code></td> +<td><code><span class='Brace'>{</span><span class='Function'>!</span><span class='Number'>0</span><span class='Function'><=</span><span class='Value'>π©</span><span class='Separator'>β</span><span class='Paren'>(</span><span class='Function'>ββΎ</span><span class='Number'>Β―1</span><span class='Modifier2'>βΈ</span><span class='Function'>βπ½</span><span class='Modifier'>βΌΒ¨</span><span class='Number'>1</span><span class='Modifier2'>βΈ</span><span class='Function'>β</span><span class='Paren'>)</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'><β </span><span class='Paren'>)</span><span class='Value'>π©</span><span class='Brace'>}</span></code></td> <td></td> </tr> <tr> |