PrototypeCommune
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
- Propriétaire
- brendanzab (compte personnel)
- Étoiles
- Étoiles : 104
- Forks
- Forks : 5
- Langage
- Rust
- Licence
- MIT
- Création
- 2018
- Sujets
- rustdependent-typesnormalization-by-evaluationbidirectional-typecheckingsemantic-typecheckingtype-theorydependent-record-typesdependent-recordsdebruijn-indicestype-system
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de brendanzab
Les 4 dépôts de brendanzab- brendanzab/codespanÉtoiles : 1 300RustBêta
- brendanzab/language-gardenÉtoiles : 349OCamlAlpha
- brendanzab/approxÉtoiles : 190RustPrototype
D’autres dépôts Rust
Tous les dépôts Rust- vyfor/animateÉtoiles : 104RustPrototype
- sheawinkler/hermes-agent-ultraÉtoiles : 104RustPrototype
- Hikari-Systems/slaterÉtoiles : 104RustPrototype
- tomjakubowski/json_macrosÉtoiles : 104RustPrototype
- ogham/rust-usersÉtoiles : 104RustPrototype
- untitaker/rust-atomicwritesÉtoiles : 104RustPrototype