[Agda] Save the date: AIM in Budapest, 26-31 May

[Ambrus Kaposi]

Hi,

The next Agda Implementors' Meeting will be in Budapest between

  26 and 31 May 2025

(Monday to Saturday).

Some information on the location available here:
https://wiki.portal.chalmers.se/agda/Main/AIMXXXX

See you in Budapest!

Cheers,
Ambrus