agda

Dependencies

Build Dependencies

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.