Remix.run Logo
ironmagma 12 days ago

No. Conversions about it were being avoided due to being in a work context and in general. The same goes for coc (vim plugin) by the way.

CaptainOfCoit 12 days ago | parent [-]

That's exactly what parent said, people are overly sensitive and that's why the name had to change.

matt_kantor 12 days ago | parent [-]

bistrat2003 said:

> people are overly sensitive and can't bear the thought that someone might make some harmless naughty jokes

ironmagma could have said:

> people are overly sensitive and avoid talking about Coq at work and in general

Both can be motivating factors, but not necessarily. It's possible that the Coq development team doesn't care about the jokes, but they do care about people being comfortable saying the name aloud at work.

ironmagma 12 days ago | parent [-]

Not overly. Appropriately. Why would you risk your reputation and job to talk about a theorem prover? The pros and cons are not evenly weighted.