伊德里斯有没有相当于嘲弄或追求？

Question

也就是说，是否还存在用Idris编写的开源软件的中央软件包库？

一些谷歌搜索将我引向idris-hacker github页面，here。当然，我也可以在伊德里斯编写的github上搜索项目。我基本上想知道是否有另一个知名的网站我失踪寻找伊德里斯包。

Answer 1

不，还没有真正的Idris中央套件。

但是it looks like它具有高优先级。

最接近我能找到的is in Nix。虽然可能处于非常婴幼儿状态。