BSD Ports

lang/dhall 1.42.2nb4 NetBSD

Configuration language guaranteed to terminate

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
modified-bsd
Categories
lang
Package size
9686.7 KiB, 125931.8 KiB installed

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

In the other systems

SystemPortVersion
NetBSDlang/dhall1.42.2nb4
FreeBSDlang/dhall1.42.3
DragonFlylang/dhall1.42.1

Install

Binary package:

pkgin install dhall

From pkgsrc:

cd /usr/pkgsrc/lang/dhall && make install clean

Dependencies

Run dependencies 41
Required by 1