MiniRust Homepage, Documentation and Downloads – Rust Semantics Specification – News Fast Delivery
MiniRust is the cornerstone of the project author’s vision for a Rust semantics specification. It is an idealized MIR-like language intended to be Rust’s “Core Language”. The goal of MiniRust is to specify precisely the operational behavior of Rust, that is, the behavior that a Rust program may exhibit when executed: the behavior of a […]