Agda
latest
Overview
Getting Started
Language Reference
Tools
Contribute
The Agda Team and License
Agda
Search
Please activate JavaScript to enable the search functionality.
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