Haskell for all
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...
Monday, December 5, 2016
Dhall - A non-Turing-complete configuration language
I'm releasing a new configuration language named Dhall with Haskell bindings. Even if you don't use Haskell you might still find th...
View web version