Hacker News new | ask | show | jobs
by Blaisorblade0 1901 days ago
We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.