PrototypeCommune
edwinb/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
- Propriétaire
- edwinb (compte personnel)
- Étoiles
- Étoiles : 162
- Forks
- Forks : 44
- Langage
- Idris
- Licence
- MIT
- Création
- 2017
- 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/SPLV20Étoiles : 116IdrisPrototype
D’autres dépôts Idris
Tous les dépôts Idris- channable/dbcriticÉtoiles : 180IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype
- stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
- christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
- andorp/order-takingÉtoiles : 146IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype