I’m unsure of how you mean that in a technical sense. It’s straightforward to make those guarantees in your interpreter. And just to be clear, Dhall, the confi

I’m unsure of how you mean that in a technical sense. It’s straightforward to make those guarantees in your interpreter. And just to be clear, Dhall, the configuration language we’re talking about, is not TC, but powerful enough to compute the Ackermann function: https://gist.github.com/Gabriel439/77f715350ecc0443eed5fa613ac6b78e https://gist.github.com/Gabriel439/77f715350ecc0443eed5fa613... Add “ackermann 10 10” to your configuration file and you have something that’s technically proven to terminate, but won’t do so before the sun burns out. No security properties are gained here.