Versions
Description
Agda is a dependently typed functional programming language.
Repository
https://github.com/agda/agda.git
Project Slug
agda
Last Built
6 days, 2 hours ago passed
Maintainers
Home Page
http://wiki.portal.chalmers.se/agda/
Badge
Tags
agda, dependent-types, programming-language, proof-assistant, type-theory
Short URLs
agda.readthedocs.io
agda.rtfd.io
Default Version
v2.6.4.3
'latest' Version
master