Name for unary unboxed one-tuple

Simon Peyton Jones

25 Apr 2018 25 Apr '18

4:28 a.m.

Dear Libraries Committee Some time ago Andrew Martin asked youhttps://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion. Can we nail this one? You’ll see on Trac #14673https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you. To me, there seems to be something of a consensus around Solo#. Simon PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

Attachments:

attachment.html (text/html — 3.2 KB)

Show replies by date

David Feuer

25 Apr 25 Apr

6:29 a.m.

Andrew probably did not make a mistake. Library proposals generally start on the libraries list and only go to the CLC when there is trouble reaching consensus or when the change is seen as particularly serious. On Wed, Apr 25, 2018, 4:29 AM Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

...

Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake. _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Olivier S.

7:22 a.m.

Hello, I propose "single" (Single#), as in https://en.wikipedia.org/wiki/Tuple#Names_for_tuples_of_specific_lengths I think it makes a bit more sense than "solo". Olivier 2018-04-25 10:28 GMT+02:00 Simon Peyton Jones via Libraries < libraries@haskell.org>:

...

Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Andrew Martin

8:40 a.m.

My vote is for Single/Single#. Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then. On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

...

Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- -Andrew Thaddeus Martin

Edward Kmett

12:12 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =) Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed. Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee. -Edward On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin wrote:

...

My vote is for Single/Single#.

Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.

On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

...
Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- -Andrew Thaddeus Martin

-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.

Andrew Martin

12:19 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

Three cheers for Solo! On Wed, Apr 25, 2018 at 12:12 PM, Edward Kmett wrote:

...

Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)

Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.

Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee.

-Edward

On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin wrote:

...
My vote is for Single/Single#.

Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.

On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

...
Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- -Andrew Thaddeus Martin

-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.

-- -Andrew Thaddeus Martin

Simon Peyton Jones

1:34 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch? Simon From: Edward Kmett Sent: 25 April 2018 17:13 To: Andrew Martin Cc: Simon Peyton Jones ; core-libraries-committee@haskell.org; Haskell Libraries Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =) Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed. Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee. -Edward On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin mailto:andrew.thaddeus@gmail.com> wrote: My vote is for Single/Single#. Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then. On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries mailto:libraries@haskell.org> wrote: Dear Libraries Committee Some time ago Andrew Martin asked youhttps://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion. Can we nail this one? You’ll see on Trac #14673https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you. To me, there seems to be something of a consensus around Solo#. Simon PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake. _______________________________________________ Libraries mailing list Libraries@haskell.orgmailto:Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0 -- -Andrew Thaddeus Martin -- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.commailto:haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0.

David Feuer

1:37 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

One question I don't remember seeing resolved. Will we still be able to use the old data constructor syntax and (fully applied) type constructor syntax? These are used a good bit in the wild. On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

...

OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch?

Simon

*From:* Edward Kmett *Sent:* 25 April 2018 17:13 *To:* Andrew Martin *Cc:* Simon Peyton Jones ; core-libraries-committee@haskell.org; Haskell Libraries < libraries@haskell.org> *Subject:* Re: [core libraries] Re: Name for unary unboxed one-tuple

Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)

Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.

Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee.

-Edward

On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin wrote:

My vote is for Single/Single#.

Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.

On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0

--

-Andrew Thaddeus Martin

-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0 .

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Simon Peyton Jones

1:40 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

You mean can you say (# Int #) and (# x #). Yes, of course. They would presumably be synonymous with (Solo# Int) and (Solo# x). Just as (# Int, Bool #) is synonymous with (#,#) Int Bool etc. Simon From: David Feuer Sent: 25 April 2018 18:38 To: Simon Peyton Jones Cc: Edward Kmett ; Andrew Martin ; core-libraries-committee@haskell.org; Haskell Libraries ; ghc-devs@haskell.org Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple One question I don't remember seeing resolved. Will we still be able to use the old data constructor syntax and (fully applied) type constructor syntax? These are used a good bit in the wild. On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries mailto:libraries@haskell.org> wrote: OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch? Simon From: Edward Kmett mailto:ekmett@gmail.com> Sent: 25 April 2018 17:13 To: Andrew Martin mailto:andrew.thaddeus@gmail.com> Cc: Simon Peyton Jones mailto:simonpj@microsoft.com>; core-libraries-committee@haskell.orgmailto:core-libraries-committee@haskell.org; Haskell Libraries mailto:libraries@haskell.org> Subject: Re: [core libraries] Re: Name for unary unboxed one-tuple Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =) Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed. Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee. -Edward On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin mailto:andrew.thaddeus@gmail.com> wrote: My vote is for Single/Single#. Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then. On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries mailto:libraries@haskell.org> wrote: Dear Libraries Committee Some time ago Andrew Martin asked youhttps://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion. Can we nail this one? You’ll see on Trac #14673https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you. To me, there seems to be something of a consensus around Solo#. Simon PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake. _______________________________________________ Libraries mailing list Libraries@haskell.orgmailto:Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0 -- -Andrew Thaddeus Martin -- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.commailto:haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0. _______________________________________________ Libraries mailing list Libraries@haskell.orgmailto:Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C70778e0681514285830208d5aad34b5a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602746839057686&sdata=8Hm7f5OcEjlZ81akbKmmuyrZyq2UBv%2BdPe2d%2BCGjz3E%3D&reserved=0

David Feuer

1:42 p.m.

New subject: [core libraries] Re: Name for unary unboxed one-tuple

Great. On Wed, Apr 25, 2018, 1:40 PM Simon Peyton Jones wrote:

...

You mean can you say (# Int #) and (# x #). Yes, of course. They would presumably be synonymous with (Solo# Int) and (Solo# x). Just as (# Int, Bool #) is synonymous with (#,#) Int Bool etc.

Simon

*From:* David Feuer *Sent:* 25 April 2018 18:38 *To:* Simon Peyton Jones *Cc:* Edward Kmett ; Andrew Martin < andrew.thaddeus@gmail.com>; core-libraries-committee@haskell.org; Haskell Libraries ; ghc-devs@haskell.org *Subject:* Re: [core libraries] Re: Name for unary unboxed one-tuple

One question I don't remember seeing resolved. Will we still be able to use the old data constructor syntax and (fully applied) type constructor syntax? These are used a good bit in the wild.

On Wed, Apr 25, 2018, 1:34 PM Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

OK great, thanks. Solo# is it. Adding ghc-devs: would someone like to make a patch?

Simon

*From:* Edward Kmett *Sent:* 25 April 2018 17:13 *To:* Andrew Martin *Cc:* Simon Peyton Jones ; core-libraries-committee@haskell.org; Haskell Libraries < libraries@haskell.org> *Subject:* Re: [core libraries] Re: Name for unary unboxed one-tuple

Argh. Not another color for the bikeshed. We were so close to a nice universal consensus given your +1 on the thread. =)

Let's end this and just go with Simon's Solo# as it had already achieved a reasonably wide consensus on the thread and we can put this to bed.

Simon: I'd replied a couple of weeks ago on the trac ticket to try to end this, but apparently didn't visibly weigh in in a fashion that obviously carried the full force of the committee.

-Edward

On Wed, Apr 25, 2018 at 8:40 AM, Andrew Martin wrote:

My vote is for Single/Single#.

Also, in case there is any confusion around this, I was not a member of the CLC when this issue was originally raised, but the committee has accepted me since then.

On Wed, Apr 25, 2018 at 4:28 AM, Simon Peyton Jones via Libraries < libraries@haskell.org> wrote:

Dear Libraries Committee

Some time ago Andrew Martin asked you https://mail.haskell.org/pipermail/libraries/2018-January/028419.html what the name of the unary unboxed one-tuple type and data constructor should be. The thread ran for a while, but you never came to a conclusion.

Can we nail this one? You’ll see on Trac #14673 https://ghc.haskell.org/trac/ghc/ticket/14673#comment:19 that chessai wants me to decide 😊. But it should really be you.

To me, there seems to be something of a consensus around Solo#.

Simon

PS: actually I think Andrew may have addressed libraries@ rather than core-libraries-committee@ by mistake.

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=02JPqT7mjKCaf76e2kBcaZfWhKjGfz2sA0ys%2BCMCztg%3D&reserved=0

--

-Andrew Thaddeus Martin

-- You received this message because you are subscribed to the Google Groups "haskell-core-libraries" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-core-libraries+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Foptout&data=02%7C01%7Csimonpj%40microsoft.com%7C4ff70a93792c4364cfb208d5aac767fa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602695779635893&sdata=IyzanRPCyTGwq9ZOdETPkRMGIKOeqNEBUxbuK6Jbi4I%3D&reserved=0 .

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Flibraries&data=02%7C01%7Csimonpj%40microsoft.com%7C70778e0681514285830208d5aad34b5a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636602746839057686&sdata=8Hm7f5OcEjlZ81akbKmmuyrZyq2UBv%2BdPe2d%2BCGjz3E%3D&reserved=0

2583

Age (days ago)

2583

Last active (days ago)

List overview

Download

9 comments

5 participants

participants (5)

Andrew Martin
David Feuer
Edward Kmett
Olivier S.
Simon Peyton Jones