The Agda Team and License

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
  • Péter Diviánszky
  • Fredrik Nordvall Forsberg
  • Olle Fredriksson
  • Daniel Gustafsson
  • Philipp Hausmann
  • Patrik Jansson
  • Alan Jeffrey
  • Wolfram Kahl
  • John Leo
  • Fredrik Lindblad
  • Francesco Mazzoli
  • Stefan Monnier
  • Darin Morrison
  • Guilhem Moulin
  • Nicolas Pouillard
  • Benjamin Price
  • Andrés Sicard-Ramírez
  • Andrea Vezzosi
  • Tesla Ice Zhang
  • and many more

The Agda license is here.