1 files changed, 9 insertions, 0 deletions
diff --git a/dhall/types.dhall b/dhall/types.dhall
new file mode 100644
index 0000000..5e6a81c
--- /dev/null
+++ b/dhall/types.dhall
@@ -0,0 +1,9 @@
+{ Vault =
+    ./Vault.dhall
+, Addon =
+    ./addon/Addon.dhall
+, Environment =
+    ./environment/Environment.dhall
+, Config =
+    ./Config.dhall
+}

diff --git a/dhall/types.dhall b/dhall/types.dhall new file mode 100644 index 0000000..5e6a81c --- /dev/null +++ b/dhall/types.dhall
@@ -0,0 +1,9 @@
	1	{ Vault =
	2	./Vault.dhall
	3	, Addon =
	4	./addon/Addon.dhall
	5	, Environment =
	6	./environment/Environment.dhall
	7	, Config =
	8	./Config.dhall
	9	}