© Copyright 2005-2017 remains with the authors.
Agda 2 was originally written by Ulf Norell,
partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama,
and from Agdalight by Ulf Norell and Andreas Abel.
Agda 2 is currently actively developed mainly by Andreas Abel,
Guillaume Allais, Jesper Cockx, Nils Anders Danielsson, Philipp
Hausmann, Fredrik Nordvall Forsberg, Ulf Norell, Víctor López Juan,
Andrés Sicard-Ramírez, and Andrea Vezzosi.
Further, Agda 2 has received contributions by, amongst others, Stevan
Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, Guillaume Brunerie,
James Chapman, Dominique Devriese, Péter Diviánszki, Olle Fredriksson,
Adam Gundry, Daniel Gustafsson, Kuen-Bang Hou (favonia), Patrik
Jansson, Alan Jeffrey, Wolfram Kahl, Wen Kokke, Fredrik Lindblad,
Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin,
Nicolas Pouillard, Nobuo Yamashita, Christian Sattler, and Makoto
Takeyama. The full list of contributors is available at