伊德里斯是否有等同于黑客或追求的东西？
Does Idris have an equivalent of hackage or pursuit?
也就是说，是否存在用 Idris 编写的开源软件的中央软件包存储库？
一些谷歌搜索将我带到了 idris-hackers github 页面，here。当然，我也可以在 github 上搜索用 Idris 编写的项目。我基本上想知道是否还有另一个我想寻找 Idris 包的知名网站。
没有。目前还没有真正的 Idris 中央软件包集。
但是it looks like它具有高优先级。
我能找到的最接近的 is in Nix。虽然可能处于非常婴儿的状态。
也就是说，是否存在用 Idris 编写的开源软件的中央软件包存储库？
一些谷歌搜索将我带到了 idris-hackers github 页面，here。当然，我也可以在 github 上搜索用 Idris 编写的项目。我基本上想知道是否还有另一个我想寻找 Idris 包的知名网站。
没有。目前还没有真正的 Idris 中央软件包集。
但是it looks like它具有高优先级。
我能找到的最接近的 is in Nix。虽然可能处于非常婴儿的状态。