2 ms·
It's named after its creator, Thierry Coquand. It also happens to be the name of the national animal of France. But I'm glad you can now recommend it to damsel
by broomstick331 3y ago
It's named after its creator, Thierry Coquand. It also happens to be the name of the national animal of France.
But I'm glad you can now recommend it to damsels in distress who would have been offended.