Dependently typed functional programming language

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

Formula code on GitHub

Current versions:

head ⚡️ HEAD
bottle 🍾 mojave, high_sierra, sierra

Revision: 1

Depends on:

emacs 26.3 GNU Emacs text editor
ghc 8.8.1 Glorious Glasgow Haskell Compilation System

Depends on when building from source:

cabal-install Command-line interface for Cabal and Hackage
To use the Agda standard library by default:
    mkdir -p ~/.agda
    echo $(brew --prefix)/lib/agda/standard-library.agda-lib >>~/.agda/libraries
    echo standard-library >>~/.agda/defaults


Installs (30 days)
agda 202
agda --HEAD 15
Installs on Request (30 days)
agda 199
agda --HEAD 15
Build Errors (30 days)
agda 11
Installs (90 days)
agda 541
agda --HEAD 20
Installs on Request (90 days)
agda 518
agda --HEAD 20
Installs (365 days)
agda 2,166
agda --HEAD 57
agda --without-emacs 9
Installs on Request (365 days)
agda 2,020
agda --HEAD 56
agda --without-emacs 8
Fork me on GitHub