I can't think of a more perfect name for a UI library for the Coq programming la... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

rubiquity on June 15, 2015 | parent | context | favorite | on: PeaCoq, a UI for Coq

I can't think of a more perfect name for a UI library for the Coq programming language. I'll show myself out now.

Ptival on June 15, 2015 [–]

I've always wondered why people building vim support for Coq did not name it Coq-au-vim...

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact