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

[Richard Eisenberg]

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