[Agda] Online Agda meeting?

Georgi Lyubenov godzbanebane at gmail.com
Sat Apr 18 16:59:58 CEST 2020


I would also love to participate.

=======
Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200418/8415e517/attachment.html>


More information about the Agda mailing list