Re: [ghc-steering-committee] GHC steering committee lunch at ICFP?

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