Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | lint(scripts): apply shellcheck suggestions on dhall checking script | Paul Bonaud | 2019-07-31 | 1 | -15/+9 |
| | |||||
* | add travis ci step for typechecking dhall | Hussein Ait-Lahcen | 2018-11-20 | 1 | -0/+1 |
| | |||||
* | add dhall interface | Hussein Ait-Lahcen | 2018-11-19 | 1 | -0/+25 |