Announcing: MiniRust : vimarsana.com

I have been thinking about the semantics of Rust – as in, the intended behavior of Rust programs when executed, in particular those containing unsafe code – a lot. Probably too much. But al...

Related Keywords

, Unsafe Code Guidelines , Coq Proof Assistant ,