idris (已禁用)
安装命令
brew install idris纯函数式编程语言，具有依赖类型
许可证： BSD-3-Clause
公式 JSON API： /api/formula/idris.json
公式代码： idris.rb 在 GitHub
支持瓶装（二进制包）安装
| Apple Silicon | monterey | ✅ |
|---|---|---|
| big sur | ✅ | |
| Intel | ventura | ✅ |
| monterey | ✅ | |
| big sur | ✅ | |
| 64-bit linux | ✅ | |
当前版本
| 稳定版 | ✅ | 1.3.4 |
| head | ⚡️ | HEAD |
依赖项
| [email protected] | 8.10.7 | 辉煌的格拉斯哥哈斯克尔编译系统 |
从源代码构建时依赖
| cabal-install | 3.12.1.0 | Cabal 和 Hackage 的命令行界面 |
| pkg-config | 0.29.2 | 管理库的编译和链接标志 |
分析
| 安装（30天） | |
|---|---|
idris |
0 |
| 请求安装（30天） | |
idris |
0 |
| 构建错误（30天） | |
idris |
0 |
| 安装（90天） | |
idris |
1 |
| 请求安装（90天） | |
idris |
1 |
| 安装（365天） | |
idris |
48 |
| 请求安装（365天） | |
idris |
48 |
