A precise specification for "Rust lite / MIR plus"
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to minirust
A precise specification for "Rust lite / MIR plus"
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to minirust