Hacker News new | ask | show | jobs
by remexre 2023 days ago
"Arbitrary recursion" is the correct claim; e.g. Coq allows recursion, but has restrictions so all programs terminate.