Hacker News new | ask | show | jobs
by duaneb 4202 days ago
Hrm.... Really makes me uncomfortable to say "I love Coq" conversationally.