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

[Simon Peyton Jones]

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