The Agda Team

Биография:

 

Книги:
  • Agda User Manual (2025)