PrototypeCommune
bamboo/idris-cil
A Common Intermediate Language backend for Idris 1
- Propriétaire
- bamboo (compte personnel)
- Étoiles
- Étoiles : 133
- Forks
- Forks : 11
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2015
- Sujets
- idrislanguage-backend
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- owickstrom/idris-vimscriptÉtoiles : 133HaskellPrototype
- NorfairKing/sydtestÉtoiles : 133HaskellPrototype
- msp-strath/TypOSÉtoiles : 133HaskellPrototype
- hdbc/hdbcÉtoiles : 133HaskellPrototype
- ghcjs/jsaddleÉtoiles : 133HaskellPrototype
- hspec/HUnitÉtoiles : 133HaskellPrototype