© Copyright 2005–2021 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ánszky, Olle Fredriksson,
Adam Gundry, Daniel Gustafsson, Kuen-Bang Hou (favonia), Patrik
Jansson, Alan Jeffrey, Wolfram Kahl, Wen Kokke, John Leo, Fredrik Lindblad,
Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin,
Nicolas Pouillard, Benjamin Price, Nobuo Yamashita, Christian Sattler,
Makoto Takeyama and Tesla Ice Zhang. The full list of contributors is
available at https://github.com/agda/agda/graphs/contributors
Revision e5486b79.
Built with