Dependently typed functional programming language

Current versions

Revision: 1

agda requires the following formulae to be installed:
ghc 8.2.2 Glorious Glasgow Haskell Compilation System
cabal-install 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