agda:
  type: misc
  title: Agda
  author: Agda Development Team
  date: 2024
  url: https://wiki.portal.chalmers.se/agda