Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds | Clement Delafargue | 2019-10-02 | 1 | -3/+0 |
* | dhall(upgrade): upgrade code to be compatible with dhall 1.21.0 | Paul Bonaud | 2019-04-26 | 1 | -1/+1 |
* | add dhall interface | Hussein Ait-Lahcen | 2018-11-19 | 1 | -0/+3 |