.. _team:

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
* Peter Divanski
* 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
<https://github.com/agda/agda/blob/master/LICENSE>`_.
