@hackage dhall1.0.2
A configuration language guaranteed to terminate
Categories
License
BSD-3-Clause
Maintainer
Gabriel439@gmail.com
Links
Versions
Installation
Dependencies (18)
- ansi-wl-pprint <0.7
- base >=4.8.0.0 && <5
- bytestring <0.11
- containers >=0.5.0.0 && <0.6
- http-client >=0.4.30 && <0.6
- http-client-tls >=0.2.0 && <0.4 Show all…
Dependents (74)
@hackage/dhall-openapi, @hackage/cpkg, @hackage/seihou-core, @hackage/dhall-docs, @hackage/version-natural-dhall-instance, @hackage/ats-pkg, Show all…
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.
Read Dhall.Tutorial to learn how to use this library