News for hackers. Stuff that matters.

A comment on Coq: The world’s best macro assembler? (2013) [pdf]. Parent comment

Re:Coq: The world’s best macro assembler? (2013) [pdf] by takemikazuchi on Tuesday December 16, 2014 @04:54AM (#8756484)
Compcert C, also written in Coq, is another interesting C compiler: http://compcert.inria.fr/
[ Parent | on HN ]

There are no comments on this comment yet.