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@haskell.org> On Behalf Of Richard Eisenberg | Sent: 22 September 2018 20:42 | To: ghc-steering-committee <ghc-steering-committee@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@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee