]> git.immae.eu Git - github/fretlink/ansible-kong-app.git/commit - .travis.yml
upgrade dhall to 1.26.1 and merge types and terms polykinds 17/head
authorClement Delafargue <clement.delafargue@fretlink.com>
Thu, 3 Oct 2019 09:31:56 +0000 (11:31 +0200)
committerClement Delafargue <clement.delafargue@fretlink.com>
Thu, 3 Oct 2019 09:31:56 +0000 (11:31 +0200)
commit25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06
treed6ffd754b83687e45db23522aa8273218071732e
parentcfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a
upgrade dhall to 1.26.1 and merge types and terms

Previously, types were flattened and terms were nested (as are the
directories). For consistency, I made the types nested as well.
17 files changed:
.travis.yml
dhall-1.26.1.nix [moved from dhall-1.21.0.nix with 87% similarity]
dhall/.gitignore [new file with mode: 0644]
dhall/Config.dhall
dhall/package.dhall [new file with mode: 0644]
dhall/server/Server.dhall [deleted file]
dhall/server/functions.dhall [deleted file]
dhall/server/mkServer.dhall [deleted file]
dhall/server/package.dhall [new file with mode: 0644]
dhall/server/service/Route.dhall [moved from dhall/server/service/route/Route.dhall with 100% similarity]
dhall/server/service/Service.dhall
dhall/server/service/functions.dhall [deleted file]
dhall/server/service/package.dhall [new file with mode: 0644]
dhall/server/service/plugin/CorrelationId.dhall [deleted file]
dhall/server/service/plugin/correlationId.dhall [new file with mode: 0644]
dhall/server/service/plugin/functions.dhall [deleted file]
dhall/server/service/plugin/package.dhall [new file with mode: 0644]