agda

homebrew/core

comparechomepage

Dependently typed functional programming language

Version: v2.8.0
License: MIT AND BSD-3-Clause
Tap: homebrew/core
Bottle: available
Revision: 1

bottledlicense declaredhomepageactivekeg-linked

Install

shell

$ brew install agda

Caveats

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

Caveats

Command palette