News for hackers. Stuff that matters.

A comment on The Mezzo Programming language. Parent comment

Re:The Mezzo Programming language by dbaupp on Tuesday May 06, 2014 @06:27AM (#7703600)
There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).
[ Parent | on HN ]
Re:The Mezzo Programming language by dbaupp on Tuesday May 06, 2014 @09:57AM (#7704441)
(Now that I'm off my phone I can provide the link: https://github.com/anasazi/rust-redex )
[ Parent | on HN ]