4 ms·Coq is a good example of a non-Turing complete programming language.by Jaxan 8y agoCoq is a good example of a non-Turing complete programming language.