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 fennecfoxen on Monday December 15, 2014 @09:18PM (#8755571)
Is the filename of "coqasm.pdf" also trying to get at something?
[ Parent | on HN ]

There are no comments on this comment yet.