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

[Simon Peyton Jones]

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