... | ... | @@ -129,13 +129,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
|
... | ... | |