[Agda] Online Agda meeting?

[Mehmet Oguz Derin]

I am also interested, would love to participate and help with logistics if
possible.

On Thu, Apr 16, 2020, 18:51 Nils Anders Danielsson <nad at cse.gu.se> wrote:

> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200419/1eb42fac/attachment.html>