News for hackers. Stuff that matters.

A comment on A Hoare Logic for Rust. Parent comment

Re:A Hoare Logic for Rust by lifthrasiir on Friday September 30, 2016 @12:01PM (#12613261)
Probably your connection to cdn.mathjax.org is somehow disabled or blocked.
[ Parent | on HN ]

There are no comments on this comment yet.