Versions
Description
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program.
Repository
https://github.com/agda/agda.git
Project Slug
agda
Last Built
11 hours, 1 minute ago passed
Maintainers
Home Page
http://wiki.portal.chalmers.se/agda/
Badge
Tags
programming-language, agda, type-theory, dependent-types, proof-assistant
Short URLs
agda.readthedocs.io
agda.rtfd.io
Default Version
v2.6.1.3
'latest' Version
master