Langage · Idris

Idris

Dépôts open source suivis ayant Idris pour langage principal, triés par étoiles.

1 dépôt

#1
Idris2@idris-langIdris
Un langage de programmation purement fonctionnel avec des types de première classe
★ 3 048+5Évolution des étoiles sur les 7 derniers jours