aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/dhall_check.sh
Commit message (Expand)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