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 steveklabnik on Wednesday March 06, 2019 @03:57PM (#19322700)
Yep. Still want to re-do it. Sigh.
[ Parent | on HN ]

There are no comments on this comment yet.