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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		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...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact