agda

Dependently typed functional programming language
http://wiki.portal.chalmers.se/agda/

Current versions
2.5.3
HEAD

agda requires the following formulae to be installed:
ghc 8.2.1 Glorious Glasgow Haskell Compilation System
cabal-install 2.0.0.0 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 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
Show all revisions of this formula