3 ms·
> One possible solution involves extending "Coq" to "Coquand," [...] Doesn't that just sound like cock-wand if pronounced by some?
by breakingcups 5y ago
> One possible solution involves extending "Coq" to "Coquand," [...]
Doesn't that just sound like cock-wand if pronounced by some?
- Ronson 5y agoI haven't heard that for decades and it made me laugh. I'd pronounce it cock-wand which is more difficult to take seriously than the original.
- jkhdigital 5y agoMy inner teenager is nodding approvingly