agda

Dependently typed functional programming language

http://wiki.portal.chalmers.se/agda/

/api/formula/agda.json (JSON API)

Formula code on GitHub

Current versions:

stable 2.5.4.1
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Options:

--without-stdlib Don't install the Agda standard library
--without-ghc Disable the GHC backend
--without-emacs Build without emacs support

Depends on recommended:

ghc 8.4.3 Glorious Glasgow Haskell Compilation System
emacs 26.1 GNU Emacs text editor

Depends on when building from source:

cabal-install 2.2.0.0 Command-line interface for Cabal and Hackage

Analytics:

Installs (30 days)
agda 191
agda --without-emacs 8
agda --HEAD 3
agda --without-ghc 1
Installs on Request (30 days)
agda 159
agda --without-emacs 7
agda --HEAD 3
agda --without-ghc 1
Build Errors (30 days)
agda 4
agda --without-emacs 1
Installs (90 days)
agda 505
agda --without-emacs 23
agda --HEAD 12
agda --without-ghc@8.2 6
Installs on Request (90 days)
agda 409
agda --without-emacs 12
agda --HEAD 11
agda --without-ghc@8.2 6
Installs (365 days)
agda 1,442
agda --without-emacs 45
agda --HEAD 25
Installs on Request (365 days)
agda 1,078
agda --without-emacs 25
agda --HEAD 22
Fork me on GitHub