diff options
| -rw-r--r-- | dhall/package.dhall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/package.dhall b/dhall/package.dhall index ef0483b..7ada0dc 100644 --- a/dhall/package.dhall +++ b/dhall/package.dhall | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | let Key = { path : Text, value : Text, type : Text } | 1 | let Key = { path : Text, value : Text, type : Text } |
| 2 | 2 | ||
| 3 | let Vault = { apiToken : Text } | 3 | let Vault = λ(a : Type) → { apiToken : Text, keys : a } |
| 4 | 4 | ||
| 5 | let Config = | 5 | let Config = |
| 6 | { Type = | 6 | { Type = |