News for hackers. Stuff that matters.

A comment on A 30-minute Introduction to Rust. Parent comment

Re:A 30-minute Introduction to Rust by Dewie on Wednesday July 02, 2014 @04:17PM (#7979447)
I was mostly curious if there is some kind of (formal) specifications that one can use (axioms).
[ Parent | on HN ]

There are no comments on this comment yet.