diff options
Diffstat (limited to 'dhall/Config.dhall')
-rw-r--r-- | dhall/Config.dhall | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall index 01329a8..db063b7 100644 --- a/dhall/Config.dhall +++ b/dhall/Config.dhall | |||
@@ -1,4 +1,4 @@ | |||
1 | let Addon = ./addon/Addon.dhall | 1 | let Addon = ./addon/Addon.dhall |
2 | 2 | ||
3 | in λ(Environment : Type) | 3 | in λ(Environment : Type) |
4 | → { clever_app : | 4 | → { clever_app : |
@@ -15,7 +15,7 @@ in λ(Environment : Type) | |||
15 | Text | 15 | Text |
16 | , clever_app_tasks_file : | 16 | , clever_app_tasks_file : |
17 | Text | 17 | Text |
18 | , clever_entry_point : | 18 | , clever_haskell_entry_point : |
19 | Text | 19 | Text |
20 | , clever_metrics : | 20 | , clever_metrics : |
21 | Bool | 21 | Bool |
@@ -23,4 +23,4 @@ in λ(Environment : Type) | |||
23 | List Addon | 23 | List Addon |
24 | , clever_env : | 24 | , clever_env : |
25 | Environment | 25 | Environment |
26 | } | 26 | } \ No newline at end of file |