Agda
latest
  • Overview
  • Getting Started
  • Language Reference
  • Tools
  • Contribute
  • The Agda Team and License
Agda
  • Docs »
  • Search

© Copyright 2005–2021 remains with the authors. Revision d281edea.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
v2.6.2
v2.6.1.3
v2.6.1.2
v2.6.1.1
v2.6.1
v2.6.0.1
v2.6.0
v2.5.4.2
v2.5.4.1
v2.5.4
v2.5.3
v2.5.2
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by Read the Docs.