aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
Commit message (Collapse)AuthorAgeFilesLines
* Remove unneeded filesClement Delafargue2019-10-042-16/+0
|
* upgrade to dhall 1.26.1polykindsClement Delafargue2019-10-032-1/+13
| | | | I've inlined the types in a single file as they're rather small
* dhall: Add a basic dhall type to be able to configure the rolePaul Bonaud2019-09-273-0/+17
This commit adds a basic Dhall type for an easier usage of this role.