agda

Install command:
brew install agda

Dependently typed functional programming language

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

License: BSD-3-Clause

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

Formula code: agda.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon ventura
monterey
big sur
Intel ventura
monterey
big sur
64-bit linux

Current versions:

stable 2.6.3
head ⚡️ HEAD

Depends on:

cabal-install 3.8.1.0 Command-line interface for Cabal and Hackage
emacs 29.1 GNU Emacs text editor
ghc 9.4.4 Glorious Glasgow Haskell Compilation System

Analytics:

Installs (30 days)
agda 229
Installs on Request (30 days)
agda 185
Build Errors (30 days)
agda 26
Installs (90 days)
agda 419
Installs on Request (90 days)
agda 343
Installs (365 days)
agda 673
Installs on Request (365 days)
agda 583
Fork me on GitHub