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

© Copyright 2005–2023 remains with the authors.. Revision 4b63a6e6.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
v2.6.3.20230914
v2.6.3.20230805
v2.6.3
v2.6.2.2
v2.6.2.1
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
nightly
draft
Downloads
pdf
On Read the Docs
Project Home
Builds