aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/dhall_check.sh
Commit message (Expand)AuthorAgeFilesLines
* add travis ci step for typechecking dhallHussein Ait-Lahcen2018-11-201-0/+1
* add dhall interfaceHussein Ait-Lahcen2018-11-191-0/+25