BêtaRare
edwinb/Idris2-boot
A dependently typed programming language, a successor to Idris
- Propriétaire
- edwinb (compte personnel)
- Étoiles
- Étoiles : 889
- Forks
- Forks : 55
- Langage
- Idris
- Licence
- Aucune
- Création
- 2019
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de edwinb
Les 5 dépôts de edwinb- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- edwinb/idris-phpÉtoiles : 176HaskellPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
- edwinb/SPLV20Étoiles : 116IdrisPrototype
D’autres dépôts Idris
Tous les dépôts Idris- idris-lang/Idris2Étoiles : 3 102IdrisRC
- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- mmhelloworld/idris-jvmÉtoiles : 482IdrisAlpha
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha