Path to this page:
./
lang/dhall,
Configuration language guaranteed to terminate
Branch: CURRENT,
Version: 1.40.2nb1,
Package name: dhall-1.40.2nb1,
Maintainer: pkgsrc-usersDhall 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.
Master sites:
Filesize: 615.611 KB
Version history: (Expand)
- (2022-02-26) Updated to version: dhall-1.40.2nb1
- (2022-02-23) Package added to pkgsrc.se, version dhall-1.40.2 (created)
CVS history: (Expand)
2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) |
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
|
2022-02-23 17:58:29 by Masatake Daimon | Files touched by this commit (6) |
Log message:
lang/dhall: import dhall-1.40.2
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.
|