134ece75 Stephen Paul Weber
4 years ago
1 2 3
[submodule "dhall-lang"] path = dhall-lang url = https://github.com/dhall-lang/dhall-lang.git