agda

安装命令

brew install agda

依赖类型函数式编程语言

https://wiki.portal.chalmers.se/agda/

许可证：BSD-3-Clause

公式 JSON API：/api/formula/agda.json

公式代码：agda.rb 在 GitHub 上

提供瓶装（二进制包）安装支持


Apple Silicon	sonoma	✅
	ventura	✅
	monterey	✅
Intel	sonoma	✅
	ventura	✅
	monterey	✅
	64位 linux	✅

当前版本

稳定版	✅	2.6.4.3
head	⚡️	HEAD

修订版本：1

依赖项

cabal-install	3.12.1.0	Cabal 和 Hackage 的命令行界面
emacs	29.4	GNU Emacs 文本编辑器
ghc	9.8.2	华丽的格拉斯哥哈斯克尔编译系统

要使用已安装的 Agda 库，请执行以下命令

     mkdir -p $HOME/.config/agda
     cp $HOMEBREW_PREFIX/opt/agda/lib/agda/example-libraries $HOME/.config/agda/libraries
     cp $HOMEBREW_PREFIX/opt/agda/lib/agda/example-defaults $HOME/.config/agda/defaults

然后您可以检查复制的文件并按需自定义它们。

分析

安装（30天）
`agda`	226
`agda --HEAD`	6
请求安装（30天）
`agda`	204
`agda --HEAD`	6
构建错误（30天）
`agda --HEAD`	2
`agda`	2
安装（90天）
`agda`	565
`agda --HEAD`	10
请求安装（90天）
`agda`	497
`agda --HEAD`	10
安装（365天）
`agda`	3,302
`agda --HEAD`	23
请求安装（365天）
`agda`	3,040
`agda --HEAD`	23