PrototypeCommune
andorp/order-taking
Idris version of Domain Modeling Made Functional Book.
- Propriétaire
- andorp (compte personnel)
- Étoiles
- Étoiles : 146
- Forks
- Forks : 11
- Langage
- Idris
- Licence
- Aucune
- Création
- 2021
- Sujets
- fpidrisddddepedent-types
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Idris
Tous les dépôts Idris- stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
- christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- joom/hezarfenÉtoiles : 119IdrisPrototype