[1] [CITE@en[GitHub - dhall-lang/dhall-lang: Maintainable configuration files]], [TIME[2021-09-22T03:12:49.000Z]] <https://github.com/dhall-lang/dhall-lang>

>
Dhall is a programmable configuration language optimized for maintainability.
>
You can think of Dhall as: JSON + functions + types + imports
>
Note that while Dhall is programmable, Dhall is not Turing-complete. Many of Dhall's features take advantage of this restriction to provide stronger safety guarantees and more powerful tooling.



[2] [CITE[The Dhall configuration language]], [TIME[2021-09-22T03:13:34.000Z]] <https://dhall-lang.org/>