This development was started by Martin Escardo in 2010, and transferred to github Monday 5th February 2018. A few files are authored by collaborators, with names added at the top. If you contribute, please add your full real name and date at the place of contribution.
An html rendering of the Agda code is hosted at Martin Escardo's institutional web page.