Skip to content

Changes

Page history
Edit StrawPoll-2 authored by nhn@cs.nott.ac.uk's avatar nhn@cs.nott.ac.uk
Hide whitespace changes
Inline Side-by-side
straw-poll-2.md
View page @ aae15ab4
...@@ -85,7 +85,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -85,7 +85,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> x </th>
<th> </th> <th> </th>
<th> x </th> <th> x </th>
<th> </th> <th> </th>
...@@ -106,7 +106,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -106,7 +106,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> M </th> <th> M </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> YM </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -127,7 +127,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -127,7 +127,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -148,7 +148,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -148,7 +148,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -169,7 +169,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -169,7 +169,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -190,7 +190,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -190,7 +190,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -211,7 +211,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -211,7 +211,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -232,7 +232,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -232,7 +232,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y\* </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -253,7 +253,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -253,7 +253,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> YM </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -274,7 +274,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -274,7 +274,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> AW </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -337,7 +337,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -337,7 +337,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -400,7 +400,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -400,7 +400,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> AW </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -421,7 +421,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -421,7 +421,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> AW </th>
<th> A </th> <th> A </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -442,7 +442,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -442,7 +442,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y\* </th> <th> Y\* </th>
<th>A(1)</th> <th>A(1)</th>
<th> M </th> <th> YM </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -484,7 +484,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -484,7 +484,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -589,7 +589,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -589,7 +589,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -631,7 +631,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -631,7 +631,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> R </th>
<th> N </th> <th> R </th>
<th> R </th> <th> R </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -639,7 +639,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -639,7 +639,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> R </th> <th> R </th>
<th> N </th> <th> N </th>
<th> R </th> <th> R </th>
<th> N </th> <th> N </th>
<th> [\#20](https://gitlab.haskell.org//haskell/prime/issues/20) </th> <th> [\#20](https://gitlab.haskell.org//haskell/prime/issues/20) </th>
<th> Eliminate . as an operator <th> Eliminate . as an operator
</th></tr> </th></tr>
...@@ -652,7 +652,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -652,7 +652,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -694,7 +694,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -694,7 +694,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y\* </th> <th> Y\* </th>
<th> Y\* </th> <th> Y\* </th>
<th> Y </th> <th> Y </th>
<th> Y\* </th> <th> YM </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -715,7 +715,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -715,7 +715,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> M </th> <th> Y\*M</th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -731,12 +731,12 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -731,12 +731,12 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y\* </th> <th> Y\* </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> M </th> <th> YM </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -757,7 +757,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -757,7 +757,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y\* </th> <th> Y\* </th>
<th> YM </th> <th> YM </th>
<th> Y </th> <th> Y </th>
<th> Y\* </th> <th> AM </th>
<th> Y\* </th> <th> Y\* </th>
<th> YM </th> <th> YM </th>
<th> </th> <th> </th>
...@@ -778,7 +778,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -778,7 +778,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y\* </th> <th> Y\* </th>
<th> Y\* </th> <th> Y\* </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -799,7 +799,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -799,7 +799,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> M </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -820,7 +820,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -820,7 +820,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> N </th> <th> R </th>
<th> R </th> <th> R </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -841,7 +841,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -841,7 +841,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> YM </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -862,7 +862,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -862,7 +862,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> N </th> <th> M </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
...@@ -904,7 +904,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -904,7 +904,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> R </th> <th> R </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -925,7 +925,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -925,7 +925,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -946,7 +946,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -946,7 +946,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -988,7 +988,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -988,7 +988,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> A </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1009,7 +1009,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1009,7 +1009,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> </th> <th> M </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1051,7 +1051,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1051,7 +1051,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1072,7 +1072,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1072,7 +1072,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> N </th> <th> R </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1093,7 +1093,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1093,7 +1093,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1114,7 +1114,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1114,7 +1114,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> M </th> <th> M </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> NM </th>
<th> </th> <th> </th>
<th> M </th> <th> M </th>
<th> </th> <th> </th>
...@@ -1131,11 +1131,11 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1131,11 +1131,11 @@ section on this proposal for the report by voting "AW" for instance.
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> AW </th> <th> AW </th>
<th> AW </th> <th> AW</th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
...@@ -1156,7 +1156,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1156,7 +1156,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1177,7 +1177,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1177,7 +1177,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> A </th>
<th> A </th> <th> A </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1261,7 +1261,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1261,7 +1261,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -1282,7 +1282,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1282,7 +1282,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> YM </th>
<th> R </th> <th> R </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -1303,7 +1303,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1303,7 +1303,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N\* </th> <th> N\* </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> YM </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1345,7 +1345,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1345,7 +1345,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> R </th> <th> R </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1387,7 +1387,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1387,7 +1387,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> R </th>
<th> N </th> <th> R </th>
<th> R </th> <th> R </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
...@@ -1408,7 +1408,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1408,7 +1408,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> Y </th> <th> M </th>
<th> </th> <th> </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
...@@ -1429,7 +1429,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1429,7 +1429,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
<th> N </th> <th> R </th>
<th> N </th> <th> N </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
...@@ -1471,7 +1471,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1471,7 +1471,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> R </th> <th> R </th>
<th> N </th> <th> NM </th>
<th> R </th> <th> R </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1492,7 +1492,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1492,7 +1492,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> M </th> <th> M </th>
<th> M </th> <th> M </th>
<th> N </th> <th> M </th>
<th> </th> <th> </th>
<th> M </th> <th> M </th>
<th> N </th> <th> N </th>
...@@ -1534,7 +1534,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1534,7 +1534,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> N </th> <th> N </th>
<th> Y\* </th> <th> Y\* </th>
<th> </th> <th> </th>
<th> N </th> <th> NM </th>
<th> N </th> <th> N </th>
<th> N </th> <th> N </th>
<th> </th> <th> </th>
...@@ -1576,7 +1576,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1576,7 +1576,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </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>
...@@ -1597,7 +1597,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1597,7 +1597,7 @@ section on this proposal for the report by voting "AW" for instance.
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> Y </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
<th> </th> <th> </th>
......