[Agda] Online Agda meeting?

[John Leo]

I would be interested in joining the online Agda meeting. All parts are
interesting to me! Thanks and I look forward to seeing everyone, at least
online.

John

On Thu, Apr 16, 2020 at 8:51 AM 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/20200416/a9571040/attachment.html>