... | ... | @@ -123,13 +123,13 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>AllowUndecidableInstances?</th>
|
|
|
<tr><th>[UndecidableInstances](undecidable-instances)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th>AllowIncoherentInstances?</th>
|
|
|
<tr><th>[IncoherentInstances](incoherent-instances)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
... | ... | |