agda

2.8.0.2

Dependently typed functional programming language

Install

brew install agda

Details

Homepage: wiki.portal.chalmers.se
Type: Formula
License: MIT AND BSD-3-Clause
Tap: homebrew/core

Sources

Supported platforms

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.8.0.2	File SHA-256 `87d401edaab575cfaa9e28bd357d5ccadfc7ea7e31acbd1be0be7ad863e3ccea`
Apple Silicon	Tahoe	2.8.0.2	File SHA-256 `1d163cb056ba37c65662f54668b9bb47a03a31d47aeac950d1daf541188d96f6`
Apple Silicon	Sequoia	2.8.0.2	File SHA-256 `e8dbe09a5c55af86c8ab97af359672b99b2d68a41aac1eb4118c6753a778b5e5`
ARM64	Linux	2.8.0.2	File SHA-256 `712c575bd41b3af6111feea653bb96662ee79c521f0efc75f84e51020ada4dab`
x86_64	Linux	2.8.0.2	File SHA-256 `9a531c138a9c6cc2c1a856c1018571dac37ad69025836f5742f566d9279ec63e`

Dependencies

ghc
gmp
icu4c@78

Package data

30-day installs: 110
90-day installs: 179
365-day installs: 834

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.