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>