Haskell for all
Thursday, April 13, 2017
Use Dhall to configure Bash programs
Dhall is a non-Turing-complete programming language for configuration files, and if you are new to Dhall you might wa...
Monday, February 20, 2017
The Curry-Howard correspondence between programs and proofs
This post will explain the connection between programming languages and logical proofs, known as the Curry-Howard ...
Sunday, February 5, 2017
Program JSON and YAML with Dhall
This is short post to announce a new dhall-json library which lets you compile the Dhall configuration language to both JSON and YAML. This...
Saturday, January 28, 2017
Typed Nix programming using Dhall
I recently released a typed and total configuration language named Dhall that you can use to configure Haskell programs. However, Dhall wo...
View web version