Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | upgrade dhall to 1.26.1 and merge types and termspolykinds | Clement Delafargue | 2019-10-03 | 1 | -1/+2 |
| | | | | | Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well. | ||||
* | add dhall interface | Hussein Ait-Lahcen | 2018-11-20 | 1 | -0/+1 |