News for hackers. Stuff that matters.

A comment on Oxide: A Formal Semantics for Rust. Parent comment

Re:Oxide: A Formal Semantics for Rust by Retra on Wednesday March 06, 2019 @09:18AM (#19319045)
I think that was just a proposal that never got accepted? Never see it in real code either way.
[ Parent | on HN ]

There are no comments on this comment yet.