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 |
tahoe | ✅ |
---|---|---|
sequoia | ✅ | |
sonoma | ✅ | |
macOS on Intel |
sonoma | ✅ |
Linux | ARM64 | ✅ |
x86_64 | ✅ |
Current versions:
stable | ✅ | 2.8.0 |
head | ⚡️ | HEAD |
Depends on:
ghc | 9.12.2 | Glorious Glasgow Haskell Compilation System |
gmp | 6.3.0 | GNU multiple precision arithmetic library |
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. If you have upgraded your Agda installation from a previous version, you may need to redo this. |
Analytics:
Installs (30 days) | |
---|---|
agda |
172 |
agda --HEAD |
2 |
Installs on Request (30 days) | |
agda |
164 |
agda --HEAD |
2 |
Build Errors (30 days) | |
agda |
19 |
Installs (90 days) | |
agda |
292 |
agda --HEAD |
2 |
Installs on Request (90 days) | |
agda |
264 |
agda --HEAD |
2 |
Installs (365 days) | |
agda |
1,646 |
agda --HEAD |
11 |
Installs on Request (365 days) | |
agda |
1,455 |
agda --HEAD |
11 |