PrototypeCommon
brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
- Owner
- brendanzab (personal account)
- Stars
- Stars: 104
- Forks
- Forks: 5
- Language
- Rust
- License
- MIT
- Created
- 2018
- Topics
- rustdependent-typesnormalization-by-evaluationbidirectional-typecheckingsemantic-typecheckingtype-theorydependent-record-typesdependent-recordsdebruijn-indicestype-system
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by brendanzab
All 4 repos by brendanzab- brendanzab/codespanStars: 1,300RustBeta
- brendanzab/language-gardenStars: 349OCamlAlpha
- brendanzab/approxStars: 190RustPrototype
Nearby in Rust
All Rust repos- vyfor/animateStars: 104RustPrototype
- sheawinkler/hermes-agent-ultraStars: 104RustPrototype
- Hikari-Systems/slaterStars: 104RustPrototype
- tomjakubowski/json_macrosStars: 104RustPrototype
- ogham/rust-usersStars: 104RustPrototype
- untitaker/rust-atomicwritesStars: 104RustPrototype