Re: Whose gonna be at icfp?

2017-09-05 Thread Nicolas Wu
I'm also at ICFP


On Tue, 5 Sep 2017 at 08:12 Henrik Nilsson 
wrote:

> Hi!
>
>  > We should coord a committee catch-up at icfp.
>
> Seems that at least a few people are/or will be here in Oxford.
> I counted:
>
> Carter Schonwald
> John Wiegley
> Mario Blazević
>
> Lennart is also here, and Iavor is or will be here.
>
> Anyone else?
>
> It would make most sense to try to time a meeting around the
> Haskell Symposium, I think. A lunch meeting either Thursday or
> Friday could be an option (but might be a  bit rushed) or trying to
> meet up Thursday evening, probably after the Industry Reception
> (that is scheduled to end 20:30).
>
> What do you think?
>
> /Henrik
>
>
>
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please send it back to me, and immediately delete it.
>
> Please do not use, copy or disclose the information contained in this
> message or in any attachment.  Any views or opinions expressed by the
> author of this email do not necessarily reflect the views of the
> University of Nottingham.
>
> This message has been checked for viruses but the contents of an
> attachment may still contain software viruses which could damage your
> computer system, you are advised to perform your own checks. Email
> communications with the University of Nottingham may be monitored as
> permitted by UK legislation.
>
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Mario Blazevic
On Tue, Sep 5, 2017 at 8:05 AM, Henrik Nilsson <
henrik.nils...@nottingham.ac.uk> wrote:

> Hi,
>
> On 09/05/2017 12:54 PM, Mario Blazevic wrote:
>
>> In that case I suggest we meet during the coffee break and decide when
>> we really meet.
>>
>
> OK. Should we try to find each other at 16:10, then?
> Outside L1, the ICFP lecture theatre?


I'll be there.
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Henrik Nilsson

Hi,

On 09/05/2017 12:54 PM, Mario Blazevic wrote:

In that case I suggest we meet during the coffee break and decide when
we really meet.


OK. Should we try to find each other at 16:10, then?
Outside L1, the ICFP lecture theatre?

/Henrik





This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 


Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Mario Blazevic
On Tue, Sep 5, 2017 at 7:41 AM, Carter Schonwald  wrote:

> Missing Conall's talk seems like a terrible time to meet :(
>

In that case I suggest we meet during the coffee break and decide when we
really meet.



>
> On Tue, Sep 5, 2017 at 10:54 AM Henrik Nilsson <
> henrik.nils...@nottingham.ac.uk> wrote:
>
>> Hi,
>>
>> On 09/05/2017 10:27 AM, Mario Blazevic wrote:
>> > I thought John said 4:40 today. You missed Andres Löh.
>>
>> Must have missed that. Works for me!
>>
>> /Henrik
>>
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Carter Schonwald
Missing Conall's talk seems like a terrible time to meet :(

On Tue, Sep 5, 2017 at 10:54 AM Henrik Nilsson <
henrik.nils...@nottingham.ac.uk> wrote:

> Hi,
>
> On 09/05/2017 10:27 AM, Mario Blazevic wrote:
> > I thought John said 4:40 today. You missed Andres Löh.
>
> Must have missed that. Works for me!
>
> /Henrik
>
>
>
>
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please send it back to me, and immediately delete it.
>
> Please do not use, copy or disclose the information contained in this
> message or in any attachment.  Any views or opinions expressed by the
> author of this email do not necessarily reflect the views of the
> University of Nottingham.
>
> This message has been checked for viruses but the contents of an
> attachment may still contain software viruses which could damage your
> computer system, you are advised to perform your own checks. Email
> communications with the University of Nottingham may be monitored as
> permitted by UK legislation.
>
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Henrik Nilsson

Hi,

On 09/05/2017 10:27 AM, Mario Blazevic wrote:

I thought John said 4:40 today. You missed Andres Löh.


Must have missed that. Works for me!

/Henrik





This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 


Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Richard Eisenberg
I'm here and would be happy to join. Either times proposed work for me.

Thanks,
Richard

> On Sep 5, 2017, at 10:27 AM, Mario Blazevic  wrote:
> 
> I thought John said 4:40 today. You missed Andres Löh.
> 
> 
> On Tue, Sep 5, 2017 at 3:12 AM, Henrik Nilsson 
> > 
> wrote:
> Hi!
> 
> > We should coord a committee catch-up at icfp.
> 
> Seems that at least a few people are/or will be here in Oxford.
> I counted:
> 
>Carter Schonwald
>John Wiegley
>Mario Blazević
> 
> Lennart is also here, and Iavor is or will be here.
> 
> Anyone else?
> 
> It would make most sense to try to time a meeting around the
> Haskell Symposium, I think. A lunch meeting either Thursday or
> Friday could be an option (but might be a  bit rushed) or trying to
> meet up Thursday evening, probably after the Industry Reception
> (that is scheduled to end 20:30).
> 
> What do you think?
> 
> /Henrik
> 
> 
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-09-05 Thread Henrik Nilsson

Hi!

> We should coord a committee catch-up at icfp.

Seems that at least a few people are/or will be here in Oxford.
I counted:

   Carter Schonwald
   John Wiegley
   Mario Blazević

Lennart is also here, and Iavor is or will be here.

Anyone else?

It would make most sense to try to time a meeting around the
Haskell Symposium, I think. A lunch meeting either Thursday or
Friday could be an option (but might be a  bit rushed) or trying to
meet up Thursday evening, probably after the Industry Reception
(that is scheduled to end 20:30).

What do you think?

/Henrik




This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 


Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-28 Thread Jurriaan Hage
I won’t be there. :-(

Jur

> On 26Aug, 2017, at 08:48, Carter Schonwald  wrote:
> 
> I'll be this time! :)
> 
> We should coord a committee catch-up at icfp. 
> 
> Also I would like to propose we shift back to email based discussion. There's 
> still the valid and important need of then taking the discussion and 
> revisions into a new standard. But let's at least make the first half lighter 
> weight perhaps? the pattern that's working for ghc proposals doesn't seem to 
> matchup with what works for h2020
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-26 Thread Carter Schonwald
Either way, see y'all in oxford

On Sat, Aug 26, 2017 at 6:30 PM Carter Schonwald 
wrote:

> Agreed.  Hence let's just have something less structured than the GitHub
> flow ... just any doc will do. Also it'd be simpler to have just one tool
> for coms.
>
> On Sat, Aug 26, 2017 at 12:55 PM Mario Blažević 
> wrote:
>
>> On 2017-08-25 06:48 PM, Carter Schonwald wrote:
>> > I'll be this time! :)
>> >
>> > We should coord a committee catch-up at icfp.
>> >
>> > Also I would like to propose we shift back to email based discussion.
>> > There's still the valid and important need of then taking the
>> > discussion and revisions into a new standard. But let's at least make
>> > the first half lighter weight perhaps? the pattern that's working for
>> > ghc proposals doesn't seem to matchup with what works for h2020
>>
>>  I'll be there as well. As for the e-mail based discussion, my
>> feeling for the last while has been that I'd rather bring something,
>> anything, to completion. There's very little feedback and there's a real
>> danger that the discussion doesn't lead to any concrete change to the
>> standard.
>>
>> ___
>> Haskell-prime mailing list
>> Haskell-prime@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>>
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-26 Thread Carter Schonwald
Agreed.  Hence let's just have something less structured than the GitHub
flow ... just any doc will do. Also it'd be simpler to have just one tool
for coms.

On Sat, Aug 26, 2017 at 12:55 PM Mario Blažević  wrote:

> On 2017-08-25 06:48 PM, Carter Schonwald wrote:
> > I'll be this time! :)
> >
> > We should coord a committee catch-up at icfp.
> >
> > Also I would like to propose we shift back to email based discussion.
> > There's still the valid and important need of then taking the
> > discussion and revisions into a new standard. But let's at least make
> > the first half lighter weight perhaps? the pattern that's working for
> > ghc proposals doesn't seem to matchup with what works for h2020
>
>  I'll be there as well. As for the e-mail based discussion, my
> feeling for the last while has been that I'd rather bring something,
> anything, to completion. There's very little feedback and there's a real
> danger that the discussion doesn't lead to any concrete change to the
> standard.
>
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-26 Thread Mario Blažević

On 2017-08-25 06:48 PM, Carter Schonwald wrote:

I'll be this time! :)

We should coord a committee catch-up at icfp.

Also I would like to propose we shift back to email based discussion. 
There's still the valid and important need of then taking the 
discussion and revisions into a new standard. But let's at least make 
the first half lighter weight perhaps? the pattern that's working for 
ghc proposals doesn't seem to matchup with what works for h2020


I'll be there as well. As for the e-mail based discussion, my 
feeling for the last while has been that I'd rather bring something, 
anything, to completion. There's very little feedback and there's a real 
danger that the discussion doesn't lead to any concrete change to the 
standard.


___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-26 Thread Henrik Nilsson

I will attend ICFP and the Haskell symposium.
Meeting up is a very good idea!

Best,

/Henrik




This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it. 


Please do not use, copy or disclose the information contained in this
message or in any attachment.  Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.

This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.

___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: Whose gonna be at icfp?

2017-08-25 Thread John Wiegley
> "CS" == Carter Schonwald  writes:

CS> I'll be this time! :)
CS> We should coord a committee catch-up at icfp.

I will be there as well.

-- 
John Wiegley  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com  60E1 46C4 BD1A 7AC1 4BA2
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime