[Agda] Online Agda meeting?

[Nils Anders Danielsson]

Hi,

I'd like to know if you are interested in having an online Agda meeting
some time in the next couple of months.

A traditional Agda meeting consists of talks, code sprints, discussions
and social events. I would also like to know which of these are of
interest to you. (If you want to recommend specific tools or services
you can do that as well.)

Feel free to respond either to the list or directly to me.

-- 
/NAD