2 files changed, 3 insertions, 0 deletions

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..16b16c4
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "dhall-lang"]
+	path = dhall-lang
+	url = https://github.com/dhall-lang/dhall-lang
diff --git a/dhall-lang b/dhall-lang
new file mode 160000
+Subproject 48104eba51093b060b8528fff6922e71ce88424