Webinar: Workbrew: Secure the software your company runs

Homebrew catalog

Formula

agda

Dependently typed functional programming language

View on formulae.brew.sh

Version: 2.8.0.2
License: MIT AND BSD-3-Clause
Homepage: https://wiki.portal.chalmers.se/agda/
Installs (30 days): 126
Categories: Developer Tools
Tags: programming

brew install agda

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing