PrototypeCommune
stefan-hoeck/idris2-pack
Pas de description.
- Propriétaire
- stefan-hoeck (compte personnel)
- Étoiles
- Étoiles : 163
- Forks
- Forks : 41
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de stefan-hoeck
Les 2 dépôts de stefan-hoeck- stefan-hoeck/idris2-tutorialÉtoiles : 240IdrisPrototype
D’autres dépôts Idris
Tous les dépôts Idris- idris-hackers/idris-koansÉtoiles : 181IdrisPrototype
- channable/dbcriticÉtoiles : 180IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 162IdrisPrototype
- christian-public/Idris2-ErlangÉtoiles : 149IdrisPrototype
- andorp/order-takingÉtoiles : 146IdrisPrototype