dhall 1.32.0 Configuration language guaranteed to terminate
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.
- Website: https://dhall-lang.org/
- License: Modified BSD
- Package source: dhall.scm
- Patches: None
- Builds: x86_64-linux, i686-linux