News for hackers. Stuff that matters.

A comment on Coq: Certified Programming with Dependent Types. Parent comment

Re:Coq: Certified Programming with Dependent Types by innguest on Friday July 10, 2015 @02:09PM (#9865663)
More information about who in the US has and hasn't merged those two sounds: https://en.wikipedia.org/wiki/Phonological_history_of_Englis...

It's the cot-caught merger.

[ Parent | on HN ]

There are no comments on this comment yet.