summaryrefslogtreecommitdiff
path: root/lang/dhall/DESCR
blob: fa6882f4150b4ee00fe110578565e215614be5ad (plain)
1
2
3
4
5
6
7
8
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.