Language

Package: dhall @ 1.32.0

Synopsis

Configuration language guaranteed to terminate

Description

Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator.

Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

Home page
https://dhall-lang.org/
Location
gnu/packages/dhall.scm (line: 31, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings