Rare find

a-mir-formality. a model of MIR and the Rust type/trait system

github.com/rust-lang/a-mir-formality

by

@rust-lang

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.