In a certain sense, languages like Agda do solve the halting program, but we're not all using them... Seeing more total languages used in industry would be pre

In a certain sense, languages like Agda do solve the halting program, but we're not all using them... Seeing more total languages used in industry would be pretty cool.