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

Ben Gamari ben at well-typed.com
Sun Sep 23 01:52:39 UTC 2018


Monday sounds lovely

On September 22, 2018 3:42:22 PM EDT, Richard Eisenberg <rae at cs.brynmawr.edu> wrote:
>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

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180922/434dcb8a/attachment.html>


More information about the ghc-steering-committee mailing list