Agda
v2.6.2
Overview
Getting Started
Language Reference
Tools
Contribute
The Agda Team and License
Agda
Docs
»
Search
Please activate JavaScript to enable the search functionality.
Read the Docs
v: v2.6.2
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
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.