伊德里斯是否有相当的hackage或追求？

Question

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

一些谷歌搜索引导我进入idris-hackers github页面，here。当然，我也可以在伊德里斯写的github上搜索项目。我基本上想知道是否有另一个众所周知的网站我缺少寻找伊德里斯套餐。

Answer 1

没有。目前还没有针对伊德里斯的中央套餐。

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

最接近的我可以找到is in尼克斯。虽然可能处于非常婴儿状态。