Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
AndreasFrom
on Dec 15, 2014
|
parent
|
context
|
favorite
| on:
Coq: The world’s best macro assembler? (2013) [pdf...
They give an explanation here.
https://coq.inria.fr/faq?q=node/16&som=2#htoc4
conistonwater
on Dec 15, 2014
[–]
Reasonable people might disagree, but I think that what they say there doesn't answer the question at all. Cock means rooster in English too, after all, but somehow the name doesn't get used.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://coq.inria.fr/faq?q=node/16&som=2#htoc4