On the second day of this year’s Coding Camp, the Coder’s Conference, we’re taking a look at the core of the language.That core, of course, is the Objective-Coq.But there are lots of interesting tools out there that are geared towards creating applications that use the language and its APIs.We’ll be taking a close look at […]