Possibly the best name for a programming language ever

Coq. I would love to see this adopted at the Enterprise level. Could you imagine slipping sentences like these into your next corporate-drivelspeak document? The vendors have really bent over backwards to make introducing Coq as painless as possible. We don't believe in shoving Coq down people's throats. In fact, we've found that once people […]