Monday works for me too! On Sat, Sep 22, 2018, at 18:37, Simon Marlow wrote:

Sounds good! Monday lunch also works for me.

On Sat, 22 Sep 2018 at 20:47, Richard Eisenberg wrote:

...

Hi all,

I imagine many of us are currently en route to St. Louis for this year's week of λ. I thought it might be nice for us steering committee members to gather, perhaps over lunch. My goal in organizing this is twofold:

- Simply to gather. I enjoy working with you all and it's great to continue building social connections. - To figure out some concrete direction about the Linear Types proposal. As its shepherd, I feel responsible for moving it along and -- while there remains a slow drip of questions/answers/opinions on the ticket -- I don't sense that we're getting toward any concrete action that we can share with the authors of the proposal.

I recognize that not all members of the committee will be at ICFP. Accordingly, I hope we can find a volunteer to take minutes to share with those not present. No concrete action will be committed to without posting here for discussion first. In addition, I'm sure we can find a way for folks to join the meeting remotely, if the timing works.

I arbitrarily propose Monday lunch for this meeting. Feel free to counterpropose.

See you soon, Richard _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

OK -- I will try to reserve a table in a corner of the lunch area. (More information tomorrow once I can actually see the lunch area.) Note that we have only an hour until the first session after lunch. Any updates (e.g., specific location if it's hard to find) will appear here. If you are not at ICFP but would like to join remotely, email me and we'll figure out a way. This meeting will take place at 1700-1800 GMT on Monday. See many of you tomorrow, Richard

On Sep 23, 2018, at 11:23 AM, Simon Peyton Jones wrote:

I rearranged. Monday lunch is now fine for me.

Simon

| -----Original Message----- | From: ghc-steering-committee On Behalf Of Simon Peyton Jones via ghc-steering- | committee | Sent: 23 September 2018 03:00 | To: Richard Eisenberg ; ghc-steering-committee | | Subject: Re: [ghc-steering-committee] GHC steering committee lunch at | ICFP? | | Good idea. It sounds as if everyone else can make Monday lunch, but | sadly I can't. Nor Tues. Do go ahead without me - I may try to | rearrange my commitment | | S | | | -----Original Message----- | | From: ghc-steering-committee On Behalf Of Richard Eisenberg | | Sent: 22 September 2018 20:42 | | To: ghc-steering-committee | | Subject: [ghc-steering-committee] GHC steering committee lunch at | ICFP? | | | | Hi all, | | | | I imagine many of us are currently en route to St. Louis for this | year's | | week of λ. I thought it might be nice for us steering committee | members | | to gather, perhaps over lunch. My goal in organizing this is twofold: | | | | - Simply to gather. I enjoy working with you all and it's great to | | continue building social connections. | | - To figure out some concrete direction about the Linear Types | proposal. | | As its shepherd, I feel responsible for moving it along and -- while | | there remains a slow drip of questions/answers/opinions on the ticket | -- | | I don't sense that we're getting toward any concrete action that we | can | | share with the authors of the proposal. | | | | I recognize that not all members of the committee will be at ICFP. | | Accordingly, I hope we can find a volunteer to take minutes to share | | with those not present. No concrete action will be committed to | without | | posting here for discussion first. In addition, I'm sure we can find a | | way for folks to join the meeting remotely, if the timing works. | | | | I arbitrarily propose Monday lunch for this meeting. Feel free to | | counterpropose. | | | | See you soon, | | Richard | | _______________________________________________ | | ghc-steering-committee mailing list | | ghc-steering-committee@haskell.org | | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | committee | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

I've learned there is no proper lunch room. However, on the east side of the building is some space we may be able to use. (This is to the right as you exit the auditorium or to the left as you enter the building.) Let's find each other there (down a small flight of stairs). Thanks, Richard

On Sep 23, 2018, at 11:44 AM, Richard Eisenberg wrote:

OK -- I will try to reserve a table in a corner of the lunch area. (More information tomorrow once I can actually see the lunch area.)

Note that we have only an hour until the first session after lunch.

Any updates (e.g., specific location if it's hard to find) will appear here.

If you are not at ICFP but would like to join remotely, email me and we'll figure out a way. This meeting will take place at 1700-1800 GMT on Monday.

See many of you tomorrow, Richard

...

On Sep 23, 2018, at 11:23 AM, Simon Peyton Jones wrote:

I rearranged. Monday lunch is now fine for me.

Simon

| -----Original Message----- | From: ghc-steering-committee On Behalf Of Simon Peyton Jones via ghc-steering- | committee | Sent: 23 September 2018 03:00 | To: Richard Eisenberg ; ghc-steering-committee | | Subject: Re: [ghc-steering-committee] GHC steering committee lunch at | ICFP? | | Good idea. It sounds as if everyone else can make Monday lunch, but | sadly I can't. Nor Tues. Do go ahead without me - I may try to | rearrange my commitment | | S | | | -----Original Message----- | | From: ghc-steering-committee On Behalf Of Richard Eisenberg | | Sent: 22 September 2018 20:42 | | To: ghc-steering-committee | | Subject: [ghc-steering-committee] GHC steering committee lunch at | ICFP? | | | | Hi all, | | | | I imagine many of us are currently en route to St. Louis for this | year's | | week of λ. I thought it might be nice for us steering committee | members | | to gather, perhaps over lunch. My goal in organizing this is twofold: | | | | - Simply to gather. I enjoy working with you all and it's great to | | continue building social connections. | | - To figure out some concrete direction about the Linear Types | proposal. | | As its shepherd, I feel responsible for moving it along and -- while | | there remains a slow drip of questions/answers/opinions on the ticket | -- | | I don't sense that we're getting toward any concrete action that we | can | | share with the authors of the proposal. | | | | I recognize that not all members of the committee will be at ICFP. | | Accordingly, I hope we can find a volunteer to take minutes to share | | with those not present. No concrete action will be committed to | without | | posting here for discussion first. In addition, I'm sure we can find a | | way for folks to join the meeting remotely, if the timing works. | | | | I arbitrarily propose Monday lunch for this meeting. Feel free to | | counterpropose. | | | | See you soon, | | Richard | | _______________________________________________ | | ghc-steering-committee mailing list | | ghc-steering-committee@haskell.org | | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | committee | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

I will be a little late too, left my badge with my lunch ticket at the hotel :( On Mon, 24 Sep 2018, 11:14 Ben Gamari, wrote:

Richard Eisenberg writes:

...

I've learned there is no proper lunch room. However, on the east side of the building is some space we may be able to use. (This is to the right as you exit the auditorium or to the left as you enter the building.) Let's find each other there (down a small flight of stairs).

I realized that I am not registered for today so I may need to run out to pick up some lunch from outside the venue then find you all.

Cheers,

- Ben _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Hi, Sorry, didn't see your message. You are definitely not where we are :-/ Joachim Am 24. September 2018 12:19:24 GMT-05:00 schrieb Iavor Diatchki :

There's a space with a few chairs on the first floor next to the restroom. Is this what you meant? I am in there anyway :)

On Sep 24, 2018 12:10 PM, "Simon Marlow" wrote:

I will be a little late too, left my badge with my lunch ticket at the hotel :(

On Mon, 24 Sep 2018, 11:14 Ben Gamari, wrote:

...

Richard Eisenberg writes:

...

I've learned there is no proper lunch room. However, on the east side of the building is some space we may be able to use. (This is to the right as you exit the auditorium or to the left as you enter the building.) Let's find each other there (down a small flight of stairs).

I realized that I am not registered for today so I may need to run out to pick up some lunch from outside the venue then find you all.

Cheers,

- Ben _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org

https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

...

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee