2 ms·Thank goodness. It's been impossible to talk about Coq to people who don't already know what it is.by mcluck 6mo agoThank goodness. It's been impossible to talk about Coq to people who don't already know what it is.