On 2020-04-06 15:12, Setzer A.G. wrote: > since we might need to shift Agda implememntors meeting online I think we should aim to have an online Agda meeting before the (Swedish) summer. Does anyone have any ideas about how we could organise the excursion? -- /NAD