Links

• ​dhall-nix - Provides a Dhall to Nix compiler. You can use this compiler to program Nix using the Dhall language.

• ​dhall-haskell - Haskell bindings to Dhall.

• ​dhall-kubernetes - Typecheck, template and modularize your Kubernetes definitions with Dhall.

• ​dhall-clj - Allows you to compile Dhall expressions to Clojure expressions.

• ​Dhall - Year in review (2018-2019)​

• ​dhall-to-cabal - Generate Cabal files from Dhall expression.

• ​Dhall, formalised in Agda​

• ​dhall-rust - WIP implementation in Rust of the dhall configuration format/programming language.

• ​Dhall - Year in review (2019-2020)​

• ​dhall-golang - Go bindings for dhall.

• ​Why Dhall advertises the absence of Turing-completeness (2020)​

• ​Dhall for Kubernetes (2020) (Lobsters)

• ​dhall-prometheus - Prometheus configuration with Dhall.

• ​graph - Dhall support for directed graphs with labeled vertices.

• ​Awesome Dhall​

• ​Data abstraction in Dhall (2020)​