3 ms·
So many things are Turing complete for me anyway there's nothing surprising about finding Turing completeness. What I find fascinating is useful languages desig
by BrainInAJar 11y ago
So many things are Turing complete for me anyway there's nothing surprising about finding Turing completeness. What I find fascinating is useful languages designed explicitly not to be Turing complete. It's a much harder task
- danghica 11y agoIndeed. Agda and Coq are excellent examples.