News for hackers. Stuff that matters.

A comment on A short introduction to Coq. Parent comment

Re:A short introduction to Coq by gjm11 on Wednesday May 26, 2010 @11:33AM (#1380509)
Just the way the redditing adolescent in you wants to pronounce it.
[ Parent | on HN ]

There are no comments on this comment yet.