Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds | Clement Delafargue | 2019-10-02 | 1 | -1/+0 |
| | |||||
* | Remove default environment from Dhall config | Clement Delafargue | 2019-07-01 | 1 | -9/+1 |
| | |||||
* | add dhall interface | Hussein Ait-Lahcen | 2018-11-19 | 1 | -0/+9 |