PrototypeCommune
christian-public/Idris2-Erlang
Erlang code generator for Idris 2
- Propriétaire
- christian-public (compte personnel)
- Étoiles
- Étoiles : 149
- Forks
- Forks : 6
- Langage
- Idris
- Licence
- Aucune
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Idris
Tous les dépôts Idris- timjb/quantitiesÉtoiles : 164IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 163IdrisPrototype
- stefan-hoeck/idris2-packÉtoiles : 163IdrisPrototype
- andorp/order-takingÉtoiles : 146IdrisPrototype
- KesterTong/idris2048Étoiles : 124IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype