Bibliothèques écrites en Idris
Idris2
Un langage de programmation purement fonctionnel avec des types de première classe.
- 2.2k
- GNU General Public License v3.0
idris-ct
bibliothèque de théorie des catégories formellement vérifiée.
- 245
- GNU Affero General Public License v3.0
order-taking
Version Idris de Domain Modeling Made Functional Book..
- 127
- GNU General Public License v3.0