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

upgrade dhall to 1.26.1 and merge types and terms

1 files changed, 0 insertions, 23 deletions

diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall
deleted file mode 100644
index fc69f4f..0000000
--- a/dhall/server/service/plugin/CorrelationId.dhall
+++ /dev/null
@@ -1,23 +0,0 @@
-let Plugin = ./Plugin.dhall
-
-let config = ./Config.dhall
-
-in    λ(generator : Optional Text)
-        →   { name =
-                        "correlation-id"
-                , config =
-                        config.CorrelationId
-                        { header_name =
-                                "X-correl"
-                        , echo_downstream =
-                                True
-                        , generator =
-                                Optional/fold
-                                Text
-                                generator
-                                Text
-                                (λ(t : Text) → t)
-                                "uuid#counter"
-                        }
-                }
-          : Plugin