Re:Guide for Technical Development
by ineol1 on Tuesday May 12, 2015 @01:16PM
(#9533278)
Isn't Coq's language, Gallina, not Turing complete (all functions must terminate)? It's still a programming language.
[ Parent
| on HN ]
That'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.