Dépôts de idris-lang
2 dépôts publics de idris-lang au catalogue, du plus étoilé au moins étoilé.
- idris-lang/Idris-devÉtoiles : 3 478HaskellRC
- idris-lang/Idris2Étoiles : 3 102IdrisRC
2 dépôts publics de idris-lang au catalogue, du plus étoilé au moins étoilé.