Dependently typed functional programming language

Current versions:
2.5.2 HEAD



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
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
ilovezfs agda: revision for GHC 8
Miëtek Bak agda 2.5.1
Show all revisions of this formula