[Agda] Online Agda meeting?

[Anders Mortberg]

I would also be interested in this. I could give a talk and lead a
discussion about the future of Cubical Agda. I have some ideas for
code sprints related to this as well.

--
Anders

On Sat, Apr 18, 2020 at 5:00 PM Georgi Lyubenov <godzbanebane at gmail.com> wrote:
>
> I would also love to participate.
>
> =======
> Georgi
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda