agda

Dependently typed functional programming language

Current versions:
2.5.2 HEAD

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

Dependencies

agda requires the following formulae to be installed:

Formula history

Miëtek Bak agda 2.5.2
ilovezfs agda: revision for directory 1.3
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
Show all revisions of this formula