Agda
v2.5.2
  • Overview
  • Getting Started
  • Language Reference
  • Tools
  • Contribute
  • The Agda License
Agda
  • Docs »
  • Search


© Copyright 2016, Ulf Norell, Andreas Abel, Nils Anders Danielsson, Makoto Takeyama, Catarina Coquand, with contributions by 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, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Andrés Sicard-Ramírez, Andrea Vezzosi, Philipp Hausmann and many more.. Revision eafc9364.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: v2.5.2
Versions
latest
v2.5.2.20170816
v2.5.2
stable-2.5
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds

Free document hosting provided by Read the Docs.