PrototypeCommune
jozefg/blott
An experimental type checker for a modal dependent type theory.
- Propriétaire
- jozefg (compte personnel)
- Étoiles
- Étoiles : 123
- Forks
- Forks : 1
- Langage
- OCaml
- Licence
- MIT
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de jozefg
Les 5 dépôts de jozefg- jozefg/learn-ttÉtoiles : 2 510RC
- jozefg/higher-order-unificationÉtoiles : 198HaskellPrototype
- jozefg/nbe-for-mlttÉtoiles : 138OCamlPrototype
- jozefg/pcfÉtoiles : 126HaskellPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- biocaml/biocamlÉtoiles : 123OCamlPrototype
- abbysmal/CanopyÉtoiles : 123OCamlPrototype
- chenglou/cardsÉtoiles : 123OCamlPrototype
- yoriyuki/CamomileÉtoiles : 122OCamlPrototype