PrototypeCommune
edwinb/SPLV20
SPLV20 course notes
- Propriétaire
- edwinb (compte personnel)
- Étoiles
- Étoiles : 116
- Forks
- Forks : 37
- Langage
- Idris
- Licence
- Aucune
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) 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/BlodwenÉtoiles : 540IdrisAlpha
- edwinb/idris-phpÉtoiles : 176HaskellPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
D’autres dépôts Idris
Tous les dépôts Idris- KesterTong/idris2048Étoiles : 124IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- joom/hezarfenÉtoiles : 119IdrisPrototype
- gallais/idris-tparsecÉtoiles : 100IdrisPrototype