PrototypeCommune
stefan-hoeck/idris2-tutorial
Pas de description.
- Propriétaire
- stefan-hoeck (compte personnel)
- Étoiles
- Étoiles : 240
- Forks
- Forks : 30
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2021
- 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-packÉtoiles : 163IdrisPrototype
D’autres dépôts Idris
Tous les dépôts Idris- typedefs/typedefsÉtoiles : 373IdrisAlpha
- statebox/idris-ctÉtoiles : 272IdrisAlpha
- ziman/lightyearÉtoiles : 243IdrisPrototype
- puffnfresh/iridiumÉtoiles : 209IdrisPrototype
- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype