News for hackers. Stuff that matters.

A comment on Oxide: A Formal Semantics for Rust.

Re:Oxide: A Formal Semantics for Rust by wolco on Tuesday March 05, 2019 @07:55PM (#19315610)
Love the name. Could not describe what it is/does any better.
[ Parent | on HN ]

There are no comments on this comment yet.