RCÉpique
idris-lang/Idris2
A purely functional programming language with first class types
- Propriétaire
- idris-lang (organisation)
- Étoiles
- Étoiles : 3 102
- Forks
- Forks : 423
- Langage
- Idris
- Licence
- Aucune
- Création
- 2020
- Sujets
- compilerdependent-typeshacktoberfest
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de idris-lang
Les 2 dépôts de idris-lang- idris-lang/Idris-devÉtoiles : 3 478HaskellRC
D’autres dépôts Idris
Tous les dépôts Idris- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- mmhelloworld/idris-jvmÉtoiles : 482IdrisAlpha