News for hackers. Stuff that matters.

A comment on Cross-platform Rust rewrite of the GNU coreutils. Parent comment

Re:Cross-platform Rust rewrite of the GNU coreutils by cyphar on Wednesday March 23, 2016 @03:20AM (#11342670)
From my understanding, NICTA's proofs are basically algorithms to show that Haskell models and C code is equivalent. They can then go on to do proofs with their Haskell models.
[ Parent | on HN ]

There are no comments on this comment yet.