[Agda] Online Agda meeting?

[Andreas Källberg]

Sounds fun! I would definitely be interested. If there is interest, I could try to
make an introductory presentation about Cubical Agda, since my half-finished
Master’s thesis uses CTT for a proof. No promises though.

—
/Anka


> 16 apr. 2020 kl. 17:51 skrev Nils Anders Danielsson <nad at cse.gu.se>:
> 
> 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