agda

Dependently typed functional programming language

Current versions:
2.5.1.2 HEAD

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

Dependencies

agda requires the following formulae to be installed:

Formula history

ilovezfs agda 2.5.1.2
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfs agda: remove gmp dependency
ilovezfs agda: raise emacs requirement to 23.4
Miëtek Bak agda 2.5.1.1
ilovezfs agda: revision for GHC 8
Miëtek Bak agda 2.5.1
ilovezfs agda: fix HashMap build failure
Miëtek Bak agda: simplify formula
Show all revisions of this formula