@hackage dhall1.22.0
A configuration language guaranteed to terminate
Categories
License
BSD-3-Clause
Maintainer
Gabriel439@gmail.com
Links
Versions
Installation
Tested Compilers
Dependencies (40)
- Diff >=0.2 && <0.4
- aeson >=1.0.0.0 && <1.5
- aeson-pretty <0.9
- ansi-terminal >=0.6.3.1 && <0.10
- base >=4.8.2.0 && <5
- bytestring <0.11 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…
Package Flags
with-http
(on by default)
Include support for importing dhall modules from HTTP URLs
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