1
En d'autres termes, existe-t-il un référentiel central de logiciels open source écrit dans Idris?Est-ce que Idris a un équivalent de hackage ou de poursuite?
Quelques recherches m'ont conduit à la page idith-hackers github, here. Et je peux aussi rechercher des projets sur github écrits dans Idris, bien sûr. Je me demandais fondamentalement s'il y a un autre site bien connu qui me manque pour trouver des paquets Idris.