Agda
v2.6.3
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: v2.6.3
Versions
latest
v2.6.3
v2.6.2.2.20230105
v2.6.2.2.20221128
v2.6.2.2.20221106
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
Downloads
On Read the Docs
Project Home
Builds