aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/dhall_check.sh
Commit message (Collapse)AuthorAgeFilesLines
* lint(scripts): apply shellcheck suggestions on dhall checking scriptPaul Bonaud2019-07-311-15/+9
|
* add travis ci step for typechecking dhallHussein Ait-Lahcen2018-11-201-0/+1
|
* add dhall interfaceHussein Ait-Lahcen2018-11-191-0/+25