agda

Install command:
brew install agda

Dependently typed functional programming language

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

License: MIT AND BSD-3-Clause

Formula JSON API: /api/formula/agda.json

Formula code: agda.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon
sequoia
sonoma
ventura
macOS on
Intel
sonoma
ventura
Linux ARM64
x86_64

Current versions:

stable 2.7.0.1
head ⚡️ HEAD

Revision: 2

Depends on:

ghc 9.12.2 Glorious Glasgow Haskell Compilation System

Depends on when building from source:

cabal-install 3.16.0.0 Command-line interface for Cabal and Hackage
emacs 30.2 GNU Emacs text editor
To use the installed Agda libraries, execute the following commands:

     mkdir -p $HOME/.config/agda
     cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-libraries $HOME/.config/agda/libraries
     cp $HOMEBREW_PREFIX/opt/agda/share/agda/example-defaults $HOME/.config/agda/defaults

You can then inspect the copied files and customize them as needed.

Analytics:

Installs (30 days)
agda 103
Installs on Request (30 days)
agda 93
Build Errors (30 days)
agda 17
Installs (90 days)
agda 207
Installs on Request (90 days)
agda 187
Installs (365 days)
agda 1,621
agda --HEAD 11
Installs on Request (365 days)
agda 1,415
agda --HEAD 11