The Konf configuration language and an implementation in the Haskell programming language.