| 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 |
