1 files changed, 1 insertions, 0 deletions

diff --git a/dhall/functions.dhall b/dhall/functions.dhall
new file mode 100644
index 0000000..6465760
--- /dev/null
+++ b/dhall/functions.dhall
@@ -0,0 +1 @@
+{ Server = ./server/functions.dhall }