Spiking chalk


Two notes:

  • First, I’ll be on vacation and hence not online. Therefore, I expect we won’t do a meeting, though y’all are welcome to meet without me.
  • Second, should we consider meeting on gitter? In the NLL WG, it seemed like there was a significant preference for that, as it is more accessible, both to non-native speakers and to people who have to work.