idris2
安装命令
brew install idris2纯函数式编程语言，具有依赖类型
许可证：BSD-3-Clause
公式 JSON API：/api/formula/idris2.json
公式代码：idris2.rb 在 GitHub
支持瓶装（二进制包）安装
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 0.7.0 |
| HEAD | ⚡️ | HEAD |
修订版本：2
依赖项
| chezscheme | 10.0.0 | Chez Scheme 语言实现 |
从源码构建时依赖
| gmp | 6.3.0 | GNU 多精度算术库 |
分析
| 安装（30天） | |
|---|---|
idris2 |
35 |
| 请求安装（30天） | |
idris2 |
35 |
| 构建错误（30天） | |
idris2 |
0 |
| 安装（90天） | |
idris2 |
121 |
| 请求安装（90天） | |
idris2 |
121 |
| 安装（365天） | |
idris2 |
1,081 |
idris2 --HEAD |
2 |
| 请求安装（365天） | |
idris2 |
1,081 |
idris2 --HEAD |
2 |
