Dependently typed functional programming language

Current versions

Revision: 2

agda requires the following formulae to be installed:
ghc@8.2 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 ghc@8.2
ilovezfs agda: depend on emacs instead of :emacs
ilovezfs Indentation style fixes (#19679)
ilovezfs Use “squiggly” heredocs.
ilovezfs agda 2.5.3

Formula code at GitHub