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

[Eric Seidel]

Monday works for me too!

On Sat, Sep 22, 2018, at 18:37, Simon Marlow wrote:
> Sounds good! Monday lunch also works for me.
> 
> On Sat, 22 Sep 2018 at 20:47, 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
> >
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee