AIM

AIM XXXVII with APLAS 2023

The Agda Implementors’ Meeting is a meeting for users and developers who are interested in the Agda programming language and its related topics to share their work, exchange ideas, and learn about the latest developments in Agda and related areas. Whether you are an experienced Agda user or just getting started, we invite you to join us. The meeting consists of presentations concerning theory, implementatio ...