News for hackers. Stuff that matters.
Re:Surprisingly Turing-Complete by BrainInAJar on Friday October 02, 2015 @12:32PM (#10319536)
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
Re:Surprisingly Turing-Complete by danghica on Friday October 02, 2015 @01:35PM (#10319980)
Indeed. Agda and Coq are excellent examples.