← All repos

rust-lang/a-mir-formality

View on GitHub ↗ ★ 372 Rust

a model of MIR and the Rust type/trait system

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2023-08-18 · latest 2026-10-13