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 @ 88a95ac3
...@@ -74,7 +74,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -74,7 +74,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>
...@@ -95,7 +95,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -95,7 +95,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>
...@@ -116,7 +116,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -116,7 +116,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>
...@@ -136,7 +136,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -136,7 +136,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>
...@@ -157,7 +157,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -157,7 +157,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>
...@@ -178,7 +178,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -178,7 +178,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>
...@@ -199,7 +199,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -199,7 +199,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>
...@@ -220,7 +220,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -220,7 +220,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>
...@@ -241,7 +241,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -241,7 +241,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>
...@@ -261,7 +261,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -261,7 +261,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>
...@@ -322,7 +322,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -322,7 +322,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>
...@@ -384,7 +384,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -384,7 +384,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>
...@@ -404,7 +404,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -404,7 +404,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>
...@@ -425,7 +425,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -425,7 +425,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>
...@@ -467,7 +467,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -467,7 +467,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>
...@@ -571,7 +571,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -571,7 +571,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>
...@@ -613,7 +613,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -613,7 +613,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>
...@@ -621,7 +621,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -621,7 +621,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>
...@@ -634,7 +634,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -634,7 +634,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>
...@@ -676,7 +676,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -676,7 +676,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>
...@@ -697,7 +697,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -697,7 +697,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>
...@@ -713,12 +713,12 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -713,12 +713,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>
...@@ -739,7 +739,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -739,7 +739,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>
...@@ -760,7 +760,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -760,7 +760,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>
...@@ -781,7 +781,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -781,7 +781,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>
...@@ -802,7 +802,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -802,7 +802,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>
...@@ -823,7 +823,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -823,7 +823,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>
...@@ -844,7 +844,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -844,7 +844,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>
...@@ -886,7 +886,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -886,7 +886,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>
...@@ -906,7 +906,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -906,7 +906,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>
...@@ -926,7 +926,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -926,7 +926,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>
...@@ -967,7 +967,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -967,7 +967,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>
...@@ -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></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>
...@@ -1030,7 +1030,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1030,7 +1030,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>
...@@ -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> 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>
...@@ -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> 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>
...@@ -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> 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>
...@@ -1110,11 +1110,11 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1110,11 +1110,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>
...@@ -1135,7 +1135,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1135,7 +1135,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>
...@@ -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></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>
...@@ -1240,7 +1240,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1240,7 +1240,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>
...@@ -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> 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>
...@@ -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> 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>
...@@ -1324,7 +1324,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1324,7 +1324,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>
...@@ -1366,7 +1366,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1366,7 +1366,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>
...@@ -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></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>
...@@ -1407,7 +1407,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1407,7 +1407,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>
...@@ -1448,7 +1448,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1448,7 +1448,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>
...@@ -1469,7 +1469,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1469,7 +1469,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>
...@@ -1511,7 +1511,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1511,7 +1511,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>
...@@ -1553,7 +1553,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1553,7 +1553,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>
...@@ -1574,7 +1574,7 @@ section on this proposal for the report by voting "AW" for instance. ...@@ -1574,7 +1574,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>
......