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.