Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds

1 files changed, 0 insertions, 33 deletions

diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
deleted file mode 100644
index d2ec034..0000000
--- a/dhall/mkConfig.dhall
+++ /dev/null
@@ -1,33 +0,0 @@
-let Config = ./Config.dhall
-
-let Vault = ./Vault.dhall
-
-let Addon = ./addon/Addon.dhall
-
-in    λ(vault : Vault)
-    → λ(app : Text)
-    → λ(organization : Text)
-    →   { clever_app =
-            app
-        , clever_orga =
-            organization
-        , clever_secret =
-            vault.secret
-        , clever_token =
-            vault.token
-        , clever_syslog_server =
-            None Text
-        , clever_domain =
-            None Text
-        , clever_app_tasks_file =
-            None Text
-        , clever_haskell_entry_point =
-            None Text
-        , clever_disable_metrics =
-            False
-        , clever_addons =
-            [] : List Addon
-        , clever_env =
-            {=}
-        }
-      : Config {}