The Agda Team

Authors:

  • Ulf Norell
  • Andreas Abel
  • Nils Anders Danielsson
  • Makoto Takeyama
  • Catarina Coquand

Contributors (alphabetically sorted):

  • Stevan Andjelkovic
  • Marcin Benke
  • Jean-Philippe Bernardy
  • James Chapman
  • Jesper Cockx
  • Dominique Devriese
  • Peter Divanski
  • Fredrik Nordvall Forsberg
  • Olle Fredriksson
  • Daniel Gustafsson
  • Philipp Hausmann
  • Patrik Jansson
  • Alan Jeffrey
  • Wolfram Kahl
  • Fredrik Lindblad
  • Francesco Mazzoli
  • Stefan Monnier
  • Darin Morrison
  • Guilhem Moulin
  • Nicolas Pouillard
  • Andrés Sicard-Ramírez
  • Andrea Vezzosi
  • and many more