Merge pull request #17 from clementd-fretlink/polykindsv0.20

upgrade dhall to 1.26.1 and merge types and terms

1 files changed, 12 insertions, 0 deletions

diff --git a/dhall/server/service/package.dhall b/dhall/server/service/package.dhall
new file mode 100644
index 0000000..05bbe37
--- /dev/null
+++ b/dhall/server/service/package.dhall
@@ -0,0 +1,12 @@
+let Plugin = ./plugin/package.dhall
+
+let Route = ./Route.dhall
+
+let Service =
+      { name : Text
+      , url : Text
+      , plugins : List Plugin.Type
+      , routes : List Route
+      }
+
+in  { Type = Service, Route = Route, Plugin = Plugin }