Package Usage: homebrew: agda

Dependently typed functional programming language
2 versions
Latest release: over 1 year ago
1 dependent package
0 downloads last month

View more package details: https://packages.ecosyste.ms/registries/formulae.brew.sh/packages/agda

Dependent Repos 1