Hacker News Reader

this, or it just comes from one of the original authors' name, Thierry Coquand ?

We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.