News for hackers. Stuff that matters.
Re:Coq: Certified Programming with Dependent Types by Afton on Friday July 10, 2015 @12:30PM (#9864954)
In my idiolect, those two words are homonyms. When I worked construction, you couldn't ask someone for caulk without raucous laughter.

http://dictionary.reference.com/browse/caulk

this link seems to agree, with the word represented in IPA as [kɔːk]

There are no comments on this comment yet.