FICHA · MANJARO

dhall

A configuration language guaranteed to terminate

  • programming-language
  • TERMINAL
  • Launchable
  • Runs in terminal
official+codex · reviewed · May 27, 2026 description in en

Description

Provides the Dhall configuration language, designed to be programmable while still guaranteeing that evaluation terminates. It helps teams define reusable, typed configuration without allowing arbitrary infinite programs.

Use it when configuration safety, reuse, and predictable evaluation matter. It is mainly a developer and operations tool used from the terminal or build pipelines.

How to run

dhall

Commands: dhall

Permissions

Permissions not analysed for this source yet.