1 files changed, 13 insertions, 0 deletions

diff --git a/dhall/types.dhall b/dhall/types.dhall
new file mode 100644
index 0000000..938dc74
--- /dev/null
+++ b/dhall/types.dhall
@@ -0,0 +1,13 @@
+{ Vault =
+    ./Vault.dhall
+, Config =
+    ./Config.dhall
+, Server =
+    ./server/Server.dhall
+, Service =
+    ./server/service/Service.dhall
+, Plugin =
+    ./server/service/plugin/Plugin.dhall
+, Route =
+    ./server/service/route/Route.dhall
+}