Total languages do not escape the halting problem – a trinary proof sketchgithub.com/HowWeLand4 pointsuser11384 months ago