Agda
v2.6.2.1
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.1
Versions
latest
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
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.