agda

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

Current versions
2.5.3
HEAD

Revision: 1

agda requires the following formulae to be installed:
ghc 8.2.2 Glorious Glasgow Haskell Compilation System
cabal-install 2.0.0.1 Command-line interface for Cabal and Hackage
emacs 25.3 GNU Emacs text editor

Recent formula history

ilovezfs agda: depend on emacs instead of :emacs
ilovezfs Indentation style fixes (#19679)
ilovezfs Use “squiggly” heredocs.
ilovezfs agda 2.5.3
ilovezfs agda: use cabal.config from stackage lts 9.1

Formula code at GitHub