News for hackers. Stuff that matters.

A comment on Maintain It with Zig. Parent comment

Re:Maintain It with Zig by steveklabnik on Wednesday September 08, 2021 @03:54PM (#28462214)
A subset of Rust has been formalized and proven, but you're right that we're still working on it.
[ Parent | on HN ]

There are no comments on this comment yet.