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