Not at all, but I was told that the pun was totally intentional [citation needed... | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

		bnegreve on Dec 15, 2014 \| parent \| context \| favorite \| on: Coq: The world’s best macro assembler? (2013) [pdf... Not at all, but I was told that the pun was totally intentional [citation needed].

fennecfoxen on Dec 16, 2014 [–]

Is the filename of "coqasm.pdf" also trying to get at something?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact