Commit message (Collapse) | 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 | |