... | ... | @@ -58,7 +58,7 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Rank2Types </th>
|
|
|
<tr><th>[Rank2Types](rank2-types)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> True
|
... | ... | @@ -214,13 +214,13 @@ |
|
|
<th> True
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Assertions </th>
|
|
|
<tr><th>Assertions?</th>
|
|
|
<th> True </th>
|
|
|
<th> ? </th>
|
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Concurrency </th>
|
|
|
<tr><th>[Concurrency](concurrency)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> Coop
|
... | ... | @@ -232,7 +232,7 @@ |
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> GADTs </th>
|
|
|
<tr><th>[GADTs](gad-ts)</th>
|
|
|
<th> True </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
... | ... | @@ -286,7 +286,7 @@ |
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Impredicativity </th>
|
|
|
<tr><th>Impredicativity?</th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
... | ... | @@ -322,7 +322,7 @@ |
|
|
<th> False </th>
|
|
|
<th> ?
|
|
|
</th></tr>
|
|
|
<tr><th> Class Aliases </th>
|
|
|
<tr><th>ClassAliases?</th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
|
|
<th> False </th>
|
... | ... | |