[ghc-steering-committee] ICFP Meetup?

[Eric Seidel]

Hi Committee!

How many of us will be at ICFP next week? Shall we meet up again at some point? There are a couple things that I think might be worthwhile for us to reflect on and discuss:

1. The GitHub vs ML question. Richard argued a few weeks back that the pure GitHub strategy wasn't working very well, and a few of us agreed with him but the discussion didn't go any further.

2. The ExtraCommas proposal left quite a few valued members of the community dissatisfied, in ways that I think we could have prevented (e.g. the excessively long deliberation period and the confusion around the vote).

I'll be around all week.

Eric