AlphaPeu commune
edwinb/Blodwen
A prototype successor to Idris
- Propriétaire
- edwinb (compte personnel)
- Étoiles
- Étoiles : 540
- Forks
- Forks : 35
- Langage
- Idris
- Licence
- Aucune
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de edwinb
Les 5 dépôts de edwinb- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- 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 103IdrisRC
- edwinb/Idris2-bootÉtoiles : 889IdrisBêta
- mmhelloworld/idris-jvmÉtoiles : 483IdrisAlpha
- idris-hackers/software-foundationsÉtoiles : 459IdrisAlpha
- joaomilho/awesome-idrisÉtoiles : 414IdrisAlpha