Skip to content

Changes

Page history
Edit StrawPoll-1 authored by nhn@cs.nott.ac.uk's avatar nhn@cs.nott.ac.uk
Hide whitespace changes
Inline Side-by-side
straw-poll-1.md
View page @ 0cd30bf3
...@@ -72,7 +72,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -72,7 +72,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> M </th> <th> M </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -92,7 +92,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -92,7 +92,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -112,7 +112,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -112,7 +112,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> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -132,7 +132,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -132,7 +132,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -152,7 +152,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -152,7 +152,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -172,7 +172,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -172,7 +172,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -192,7 +192,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -192,7 +192,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -220,7 +220,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -220,7 +220,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> [\#70](https://gitlab.haskell.org//haskell/prime/issues/70) </th> <th> [\#70](https://gitlab.haskell.org//haskell/prime/issues/70) </th>
<th> allow [TypeSynonymInstances](type-synonym-instances) <th> allow [TypeSynonymInstances](type-synonym-instances)
</th></tr> </th></tr>
<tr><th> </th> <tr><th> </th>
...@@ -232,7 +232,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -232,7 +232,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -292,7 +292,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -292,7 +292,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -332,7 +332,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -332,7 +332,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -352,7 +352,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -352,7 +352,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -372,7 +372,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -372,7 +372,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -432,7 +432,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -432,7 +432,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -572,7 +572,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -572,7 +572,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -632,7 +632,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -632,7 +632,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y\* </th> <th> Y\* </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -692,7 +692,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -692,7 +692,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y\* </th> <th> Y\* </th>
<th> YM </th> <th> YM </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> YM </th> <th> YM </th>
<th> </th> <th> </th>
...@@ -792,7 +792,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -792,7 +792,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -832,7 +832,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -832,7 +832,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -852,7 +852,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -852,7 +852,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -872,7 +872,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -872,7 +872,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -972,7 +972,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -972,7 +972,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -992,7 +992,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -992,7 +992,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1012,7 +1012,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1012,7 +1012,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1052,7 +1052,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1052,7 +1052,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1072,7 +1072,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1072,7 +1072,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1292,7 +1292,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1292,7 +1292,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1312,7 +1312,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1312,7 +1312,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> M </th> <th> M </th>
<th> </th> <th> </th>
...@@ -1372,7 +1372,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1372,7 +1372,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -1392,7 +1392,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1392,7 +1392,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> N </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
......