[Agda] Online Agda meeting?

[Philippe de Rochambeau]

Hi Nils,
If you accept Agda newbies who aren’t CS PhDs, I’d be interested :-)


> Le 16 avr. 2020 à 17:51, Nils Anders Danielsson <nad at cse.gu.se> a écrit :
> 
> 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