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.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