HowWeLand/Total-Languages-Halting

It's three pages, read it

4 best points · 6 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• Total languages do not escape the halting problem – a trinary proof sketch (4 points, 6 comments, by user1138, 2026-02-20)