... | ... | @@ -64,7 +64,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
|
... | ... | @@ -220,13 +220,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
|
... | ... | @@ -238,7 +238,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
|
... | ... | @@ -292,7 +292,7 @@ |
|
|
<th> False
|
|
|
</th>
|
|
|
<th></th></tr>
|
|
|
<tr><th> Impredicativity </th>
|
|
|
<tr><th> Impredicativity? </th>
|
|
|
<th> ? </th>
|
|
|
<th> False </th>
|
|
|
<th> False
|
... | ... | @@ -328,7 +328,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>
|
... | ... | |