/a-mir-formality

a model of MIR and the Rust type/trait system

Primary LanguageRustApache License 2.0Apache-2.0

This repository is not active