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 duaneb on Monday December 15, 2014 @12:31PM (#8753121)
Hrm.... Really makes me uncomfortable to say "I love Coq" conversationally.
[ Parent | on HN ]

There are no comments on this comment yet.