Path to this page:
./
lang/dhall,
Configuration language guaranteed to terminate
Branch: pkgsrc-2022Q2,
Version: 1.40.2nb1,
Package name: dhall-1.40.2nb1,
Maintainer: pkgsrc-usersDhall 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.
Master sites:
Filesize: 615.611 KB
Version history: (Expand)
- (2022-06-30) Package added to pkgsrc.se, version dhall-1.40.2nb1 (created)