Dhall é uma linguagem de configuração que garante a terminação. Isso significa que, quando você usa o Dhall para escrever sua configuração, você pode ter certeza de que ela não vai entrar em um loop infinito. Além disso, o Dhall também fornece outros recursos para ajudá-lo a escrever configurações de forma segura e confiável. Ele é fácil de aprender e pode ser usado para configurar muitos tipos diferentes de sistemas. 