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