Skip to content

Changes

Page history
Edit StrawPoll-1 authored by john@repetae.net's avatar john@repetae.net
Hide whitespace changes
Inline Side-by-side
straw-poll-1.md
View page @ c4fd41f0
...@@ -66,7 +66,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -66,7 +66,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> M </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -86,7 +86,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -86,7 +86,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -126,7 +126,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -126,7 +126,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -146,7 +146,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -146,7 +146,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -166,7 +166,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -166,7 +166,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -177,7 +177,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -177,7 +177,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> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th> <th> [\#26](https://gitlab.haskell.org//haskell/prime/issues/26) </th>
<th> add [ExistentialQuantification](existential-quantification) <th> add [ExistentialQuantification](existential-quantification) (existential components)
</th></tr> </th></tr>
<tr><th> </th> <tr><th> </th>
<th> </th> <th> </th>
...@@ -186,7 +186,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -186,7 +186,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> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -206,7 +206,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -206,7 +206,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -226,7 +226,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -226,7 +226,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> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -246,7 +246,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -246,7 +246,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -266,7 +266,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -266,7 +266,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -286,7 +286,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -286,7 +286,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -326,7 +326,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -326,7 +326,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -346,7 +346,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -346,7 +346,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -366,7 +366,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -366,7 +366,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> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -486,7 +486,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -486,7 +486,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -506,7 +506,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -506,7 +506,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> M </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -546,7 +546,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -546,7 +546,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -566,7 +566,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -566,7 +566,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> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -586,7 +586,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -586,7 +586,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> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -646,7 +646,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -646,7 +646,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -666,7 +666,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -666,7 +666,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -686,7 +686,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -686,7 +686,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> YM </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
...@@ -746,7 +746,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -746,7 +746,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -766,7 +766,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -766,7 +766,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -786,7 +786,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -786,7 +786,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -826,7 +826,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -826,7 +826,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -866,7 +866,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -866,7 +866,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -886,7 +886,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -886,7 +886,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -986,7 +986,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -986,7 +986,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> Y </th> <th> Y </th>
...@@ -1006,7 +1006,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1006,7 +1006,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1046,7 +1046,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1046,7 +1046,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> </th> <th> </th>
<th> </th> <th> </th>
...@@ -1066,7 +1066,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1066,7 +1066,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1126,7 +1126,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1126,7 +1126,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1206,7 +1206,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1206,7 +1206,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1226,7 +1226,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1226,7 +1226,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1266,7 +1266,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1266,7 +1266,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> N </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1286,7 +1286,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1286,7 +1286,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> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1346,7 +1346,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1346,7 +1346,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> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1366,7 +1366,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1366,7 +1366,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> Y </th>
<th> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
...@@ -1446,7 +1446,7 @@ While you're at it, please visit the [StrawPolls](straw-polls) page and let us k ...@@ -1446,7 +1446,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> </th> <th> </th>
<th> </th> <th> </th>
<th> N </th> <th> N </th>
......