4 ms·
Was it really named Coq in order to sound weird in English? I thought that it is a reference to Thierry Coquand and the French word for rooster.
by nequo 4y ago
Was it really named Coq in order to sound weird in English? I thought that it is a reference to Thierry Coquand and the French word for rooster.