| ... | ... | @@ -57,7 +57,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> M </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -77,7 +77,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -116,7 +116,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -136,7 +136,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -156,7 +156,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -167,7 +167,8 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th>[\#26](https://gitlab.haskell.org//haskell/prime/issues/26)</th>
|
|
|
|
<th> add [ExistentialQuantification](existential-quantification)</th></tr>
|
|
|
|
<th> add [ExistentialQuantification](existential-quantification) (existential components)
|
|
|
|
</th></tr>
|
|
|
|
<tr><th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -175,7 +176,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -195,7 +196,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -214,7 +215,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -234,7 +235,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -253,7 +254,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -272,7 +273,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -311,7 +312,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -331,7 +332,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -350,7 +351,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -469,7 +470,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -489,7 +490,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> M </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -529,7 +530,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -549,7 +550,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -569,7 +570,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -629,7 +630,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -649,7 +650,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -669,7 +670,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> YM </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -729,7 +730,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -749,7 +750,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -769,7 +770,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -809,7 +810,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -847,7 +848,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -866,7 +867,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -966,7 +967,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
| ... | ... | @@ -986,7 +987,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1026,7 +1027,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
| ... | ... | @@ -1046,7 +1047,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1106,7 +1107,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1186,7 +1187,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1206,7 +1207,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1246,7 +1247,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1266,7 +1267,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1324,7 +1325,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1344,7 +1345,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | @@ -1424,7 +1425,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k |
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> Y </th>
|
|
|
|
<th></th>
|
|
|
|
<th></th>
|
|
|
|
<th> N </th>
|
| ... | ... | |