Dépôts open source suivis de idris-lang, triés par étoiles.
Un langage de programmation purement fonctionnel avec des types de première classe
