Hacker News Reader

As far as I know, Turing completeness isn't essential for being considered a programming language.

SQL is one, HTML too.

They both tell a computer what to do.

HTML is not a programming language, it's a markup language. And SQL is Turing complete.

Coq is a good example of a non-Turing complete programming language.