Hacker News new | ask | show | jobs
by Jaxan 2685 days ago
Coq is a good example of a non-Turing complete programming language.