GitHub repository: sellout/dhall-lang
Primary language: Dhall
Description: A configuration language guaranteed to terminate