Submissions from github.com/dhall-lang

		Typesafe Kubernetes (github.com/dhall-lang)
		1 point by adamgordonbell on July 3, 2020 \| past
		Dhall – A Distributed, Safe Configuration Language (github.com/dhall-lang)
		217 points by KirinDave on July 13, 2018 \| past \| 53 comments
		Dhall – A Distributed, Safe Language for Configuring Software (github.com/dhall-lang)
		10 points by KirinDave on June 7, 2018 \| past
		Dhall: A Safe, Total, Distributed Object and Configuration Language (github.com/dhall-lang)
		1 point by KirinDave on Feb 5, 2018 \| past
		Dhall: a programmable configuration language that is not Turing-complete (github.com/dhall-lang)
		157 points by happy-go-lucky on Sept 6, 2017 \| past \| 61 comments