Agda
latest
Overview
Getting Started
What is Agda?
Installation
‘Hello world’ in Agda
A Taste of Agda
A List of Tutorials
Language Reference
Tools
Contribute
The Agda Team and License
Agda
Getting Started
Getting Started
¶
What is Agda?
Dependent types
Installation
Installation from source
Prebuilt Packages and System-Specific Instructions
Installation of the Development Version
Installation Flags
Installing multiple versions of Agda
‘Hello world’ in Agda
Hello, Agda!
Hello, World!
A Taste of Agda
Preliminaries
Programming With Dependent Types: Vectors
Agda as a Proof Assistant: Proving Associativity of Addition
Building an Executable Agda Program
Where to go from here?
A List of Tutorials
Books on Agda
Tutorials and lecture notes
Videos on Agda
Courses using Agda
Miscellaneous
Read the Docs
v: latest
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
pdf
On Read the Docs
Project Home
Builds