[submodule "dhall/dhall-lang"]
	path = dhall/dhall-lang
	url = https://github.com/dhall-lang/dhall-lang.git