Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2019-03-13 | Update spec submodule | Nadrieril | 1 | -0/+0 |
2019-03-11 | Update dhall-lang and reactivate prelude tests | Nadrieril | 1 | -0/+0 |
2019-03-07 | Update spec submodule | Nadrieril | 1 | -0/+0 |
2019-03-05 | Update spec submodule | Nadrieril | 1 | -0/+0 |
2019-02-27 | Add dhall-lang spec repo as a submodule | Nadrieril | 1 | -0/+0 |