PrototypeCommune
np/ling
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
- Propriétaire
- np (compte personnel)
- Étoiles
- Étoiles : 110
- Forks
- Forks : 11
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- mgsloan/storeÉtoiles : 110HaskellPrototype
- serras/hincÉtoiles : 110HaskellPrototype
- coclique/cleffÉtoiles : 110HaskellPrototype
- Soostone/hadronÉtoiles : 110HaskellPrototype