@hackage dhall1.4.2
A configuration language guaranteed to terminate
Categories
License
BSD-3-Clause
Maintainer
Gabriel439@gmail.com
Links
Versions
Installation
Dependencies (19)
- ansi-wl-pprint <0.7
- base >=4.8.0.0 && <5
- bytestring <0.11
- case-insensitive <1.3
- charset <0.4
- containers >=0.5.0.0 && <0.6 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