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

[Richard Eisenberg]

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 <rae at cs.brynmawr.edu> 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 <simonpj at microsoft.com> wrote:
>> 
>> I rearranged.  Monday lunch is now fine for me.
>> 
>> Simon
>> 
>> | -----Original Message-----
>> | From: ghc-steering-committee <ghc-steering-committee-
>> | bounces at haskell.org> On Behalf Of Simon Peyton Jones via ghc-steering-
>> | committee
>> | Sent: 23 September 2018 03:00
>> | To: Richard Eisenberg <rae at cs.brynmawr.edu>; ghc-steering-committee
>> | <ghc-steering-committee at haskell.org>
>> | 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 <ghc-steering-committee-
>> | | bounces at haskell.org> On Behalf Of Richard Eisenberg
>> | | Sent: 22 September 2018 20:42
>> | | To: ghc-steering-committee <ghc-steering-committee at haskell.org>
>> | | 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 at haskell.org
>> | | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-
>> | committee
>> | _______________________________________________
>> | ghc-steering-committee mailing list
>> | ghc-steering-committee at haskell.org
>> | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee