
<html><head></head><body>Monday sounds lovely<br><br><div class="gmail_quote">On September 22, 2018 3:42:22 PM EDT, Richard Eisenberg <rae@cs.brynmawr.edu> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<pre class="k9mail">Hi all,<br><br>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:<br><br>- Simply to gather. I enjoy working with you all and it's great to continue building social connections.<br>- 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.<br><br>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.<br><br>I arbitrarily propose Monday lunch for this meeting. Feel free to counterpropose.<br><br>See you soon,<br>Richard<br><hr><br>ghc-steering-committee mailing list<br>ghc-steering-committee@haskell.org<br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></pre></blockquote></div><br>

-- <br>

Sent from my Android device with K-9 Mail. Please excuse my brevity.</body></html>