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

1 hour, 9 minutes ago passed

Maintainers

Home Page

http://wiki.portal.chalmers.se/agda/

Badge

Tags

programming-language, agda, type-theory, dependent-types, proof-assistant

Project Privacy Level

Public

Short URLs

agda.readthedocs.io
agda.rtfd.io

Default Version

v2.6.0.1

'latest' Version

master