Dependently typed functional programming language

Current versions

agda requires the following formulae to be installed:
ghc 8.2.1 Glorious Glasgow Haskell Compilation System
cabal-install Command-line interface for Cabal and Hackage

Formula history

ilovezfs agda 2.5.3
ilovezfs agda: use cabal.config from stackage lts 9.1
ilovezfs agda 2.5.3-alpha1
ilovezfs agda: depend on ghc@8.0
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
Show all revisions of this formula