[Agda] Online Agda meeting?

[a.j.rouvoet]

Hi Nils,

That still sounds like a good idea. I'd also be happy to give my talk 
which was scheduled for AIM in Edinburgh until COVID broke out. I'd be 
happy to attend discussions on implementation and the standard library 
and attend talks.

A few days I gave a different talk at the Edinburgh seminar where they 
use Blackboard Collaborate. From my perspective that worked really well 
(very modern and user-friendly web application, worked from firefox and 
chrome) and it was easy to record the talk. Ohad Kammar collected 
experiences from the perspective of the audience if you are interested.

Cheers,


Arjen

On 4/16/20 5:51 PM, Nils Anders Danielsson wrote:
> 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.
>