upgrade dhall to 1.26.1 and merge types and termspolykinds

Previously, types were flattened and terms were nested (as are the
directories). For consistency, I made the types nested as well.

1 files changed, 0 insertions, 1 deletions

diff --git a/dhall/server/functions.dhall b/dhall/server/functions.dhall
deleted file mode 100644
index 2775fb9..0000000
--- a/dhall/server/functions.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ Service = ./service/functions.dhall, mkServer = ./mkServer.dhall }