Agdaagda


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.

Extracted automatically from Agda homepage
Homepage
http://wiki.portal.chalmers.se/agda/
Version
2.4.2.3-beta

Install Agda

brew install agda

Dependencies1

The following dependency will be installed if you install Agda: