Dependently typed functional programming language

Current versions: HEAD



agda requires the following formulae to be installed:

Formula history

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
ilovezfs agda: fix HashMap build failure
Miëtek Bak agda: simplify formula
Show all revisions of this formula