Coq is not a vice

We are living in an interesting time, comrades! In any public activity, it is now required to show a fair amount of creativity in order to bypass all the traps, so as not to accidentally hurt someone with a careless word. The same word "comrade" has undergone several semantic changes during its long life. Initially, the comrades are "trading in one commodity". Then, more broadly, "doing the same thing." Further, in the USSR, when the only thing left for all - the building of communism - "comrades" became generally a universal appeal, but in modern Russia it was blown away to a narrow application in the troops. But someone may be offended by a "comrade". For example, a goose for a pig - definitely. So in advance I ask the vulnerable not to go down under the cat. Because we are talking about the Coq system .





, Coq. β€” . , le coq β€” - "". - : " ?"





Why is the Coq logo made to look like a penis?





( Coq ?)





coq-club : . , , , - "..." (?). ", -!"





, - , , : " ! , - !!!" , Coq β€” , , , Coq . , , , Coq, - . , , , .





ThΓ©o Zimmermann β€” Coq, , , -, . , Benjamin Pierce Xavier Leroy. , : . , , - , . .





Β« β€” Β» --





β€” , , .





P.S. " Coq...", - ... , . -. !





UPD: Hacker News - .








All Articles