News for hackers. Stuff that matters.

A comment on A short introduction to Coq. Parent comment

Re:A short introduction to Coq by jmillikin on Wednesday May 26, 2010 @12:23PM (#1380659)
"koke", or look up pronunciations for "coq al vin"
[ Parent | on HN ]

There are no comments on this comment yet.