X
FastBrew

agda

⚗️ Formula Utilities v2.8.0

Dependently typed functional programming language

Installs (90 Days)

278

Page Views

0

Command Copies

0

Last Updated

yesterday

Installation

Install agda using Homebrew:

Install in Terminal
brew install agda
Quick Stats
Category Utilities
Type Formula
Homebrew
View on Homebrew

Related Utilities Apps

python@3.13
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.13.9
harfbuzz
Popular

OpenType text shaping engine

formula Utilities v12.2.0
readline
Popular

Library for command-line editing

formula Utilities v8.3.1
glib
Popular

Core application library for C

formula Utilities v2.86.1
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.1
awscli
Popular

Official Amazon AWS command-line interface

formula Utilities v2.31.32