aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
Commit message (Expand)AuthorAgeFilesLines
* add travis ci step for typechecking dhallHussein Ait-Lahcen2018-11-201-1/+2
* add dhall interfaceHussein Ait-Lahcen2018-11-199-0/+86