agda

Dependently typed functional programming language

Current versions:
2.5.2HEAD

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

Dependencies

agda requires the following formulae to be installed:

Formula history

Miëtek Bakagda 2.5.2
ilovezfsagda: revision for directory 1.3
ilovezfsagda 2.5.1.2
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
ilovezfsagda: remove gmp dependency
ilovezfsagda: raise emacs requirement to 23.4
Miëtek Bakagda 2.5.1.1
ilovezfsagda: revision for GHC 8
Miëtek Bakagda 2.5.1
Show all revisions of this formula