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 Indentation style fixes (#19679)
ilovezfs Use “squiggly” heredocs.
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)
Show all revisions of this formula