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

© Copyright 2005–2023 remains with the authors.. Revision 49d93817.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: draft
Versions
latest
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
On Read the Docs
Project Home
Builds