dhall

configuration language guaranteed to terminate

Description

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 contains an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install dhall