AlphaPeu commune
mmhelloworld/idris-jvm
Idris on the JVM
- Propriétaire
- mmhelloworld (compte personnel)
- Étoiles
- Étoiles : 482
- Forks
- Forks : 30
- Langage
- Idris
- Licence
- Aucune
- Création
- 2016
- Sujets
- idrisjvmjava
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Idris
Tous les dépôts Idris- idris-lang/Idris2Étoiles : 3 102IdrisRC
- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- edwinb/BlodwenÉtoiles : 540IdrisAlpha
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- joaomilho/awesome-idrisÉtoiles : 414IdrisAlpha
- typedefs/typedefsÉtoiles : 373IdrisAlpha