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
9184
Version
All versions
Privacy
Any
Public versions
Private versions
Visibility
Any
Hidden versions
Visible versions
Sort by
Recently built
Least recently built
Frequently built
Least frequently built
Name
Name (descending)
v2.6.4.3
Last built 2 months, 1 week ago
Default
agda
#23663589
agda #23663589
2 months, 1 week ago
714c7d2c
88 seconds
Offline formats
PDF file
ePUB file
HTML archive