Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
agda
EN
Agda is a dependently typed functional programming language.
agda
dependent-types
programming-language
proof-assistant
type-theory
Maintainers
Repository
https://github.com/agda/agda.git
Versions
22
Builds
9200
Version
All versions
v2.6.4.3-r1
v2.6.4.3
v2.6.4.2
v2.6.4.1
v2.6.4
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
latest
State
Any
Active
Build successful
Build failed
Type
Any
Normal
Pull/merge request