News for hackers. Stuff that matters.

A comment on Announcing Rust 1.7. Parent comment

Re:Announcing Rust 1.7 by clarus on Friday March 04, 2016 @02:37AM (#11222524)
Coq has that too! :) https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/...
[ Parent | on HN ]

There are no comments on this comment yet.