Skip to content
Skip to content
Back to Apps FastBrew

agda

Formula Utilities v2.8.0

Dependently typed functional programming language

Install 1 App in Terminal
$ 
brew install agda
Source: homebrew/core Website Homebrew

Dependencies

ghc@9.12gmp

Build Dependencies

cabal-installemacs

Installation Notes

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.
Install Statistics 4.8%

Average daily installs by period

Related Utilities Apps

View All
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.2
glib
Popular

Core application library for C

formula Utilities v2.86.4
python@3.13
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.13.12
readline
Popular

Library for command-line editing

formula Utilities v8.3.3
gettext
Popular

GNU internationalization (i18n) and localization (l10n) library

formula Utilities v1.0
harfbuzz
Popular

OpenType text shaping engine

formula Utilities v12.3.2
X