PrototypeCommune
kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
- Propriétaire
- kit-ty-kate (compte personnel)
- Étoiles
- Étoiles : 114
- Forks
- Forks : 3
- Langage
- OCaml
- Licence
- MIT
- Création
- 2013
- Sujets
- llvmocamlprogramming-languagecompilerlanguagetype-system
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- kerneis/cpcÉtoiles : 114OCamlPrototype
- zkat/maybe-hugsÉtoiles : 114OCamlPrototype
- tezos/tezos-mirrorÉtoiles : 114OCamlPrototype
- lpw25/girards-paradoxÉtoiles : 113OCamlPrototype