伊德里斯有沒有相當於嘲弄或追求？

Question

也就是說，是否還存在用Idris編寫的開源軟件的中央軟件包庫？

一些谷歌搜索將我引向idris-hacker github頁面，here。當然，我也可以在伊德里斯編寫的github上搜索項目。我基本上想知道是否有另一個知名的網站我失蹤尋找伊德里斯包。

Answer 1

不，還沒有真正的Idris中央套件。

但是it looks like它具有高優先級。

最接近我能找到的is in Nix。雖然可能處於非常嬰幼兒狀態。