4 ms·
Isn't Coq's language, Gallina, not Turing complete (all functions must terminate)? It's still a programming language.
by ineol1 11y ago
Isn't Coq's language, Gallina, not Turing complete (all functions must terminate)? It's still a programming language.
- brlewis 11y agoThat's an interesting case. HTML appearing in a list of programming languages makes me feel like Google isn't trying very hard to make a good impression on the students they want to recruit. I would feel less that way about Gallina appearing in such a list.