[Agda] Gauging interest in AIM-XXXVI

[Bohdan Liesnikov]

We're planning the 36th Agda Implementors' Meeting to take place in 
Delft, Netherlands from 10—16 May 2023.
The official announcement will come a bit later – the dates are final, 
but at the moment we're finalizing some booking details and would like 
to gauge the interest.

Could you please vote on Zulip 
(https://agda.zulipchat.com/#narrow/stream/238741-general/topic/Gauging.20interest.20in.20AIM-XXXVI/near/326322924) 
so that we can get some estimate of the headcount? The votes are 
obviously non-binding 🙃

Looking forwards to seeing you all there!
Bohdan Liesnikov