GitHub repository: philandstuff/dhall-lang
Primary language: Nix
Description: A configuration language guaranteed to terminate