Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | core: define nix env for travis with a unique default.nix file | Paul Bonaud | 2020-06-22 | 1 | -22/+0 |
* | Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds | Clement Delafargue | 2019-10-02 | 1 | -0/+22 |