1
也就是說,是否還存在用Idris編寫的開源軟件的中央軟件包庫?伊德里斯有沒有相當於嘲弄或追求?
一些谷歌搜索將我引向idris-hacker github頁面,here。當然,我也可以在伊德里斯編寫的github上搜索項目。我基本上想知道是否有另一個知名的網站我失蹤尋找伊德里斯包。
也就是說,是否還存在用Idris編寫的開源軟件的中央軟件包庫?伊德里斯有沒有相當於嘲弄或追求?
一些谷歌搜索將我引向idris-hacker github頁面,here。當然,我也可以在伊德里斯編寫的github上搜索項目。我基本上想知道是否有另一個知名的網站我失蹤尋找伊德里斯包。