| Commit message (Expand) | Author | Files | Lines |
|---|
| 2019-08-10 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-08 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-08 | Add support for dependent types | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Flatten nested let bindings | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Normalize field selection further by inspecting the argument | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Add truncated Natural subtraction | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Remove union literals from the language | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Various parsing tweaks | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Forbid surrogate pairs and non-characters | Nadrieril | 1 | -0/+0 |
| 2019-08-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Generalize empty list annotations | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Add toMap keyword | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Change URL parsing | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Change some tests | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | RFC3986 URLs | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Add some tests | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Braced escape sequences | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Remove old-style optional literals | Nadrieril | 1 | -0/+0 |
| 2019-08-06 | Inline headers | Nadrieril | 1 | -0/+0 |
| 2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-08-03 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-09 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-05-02 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-16 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-09 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-07 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-05 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-04 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-04-04 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-27 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-26 | Update dhall-lange submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-26 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-24 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-24 | Parse multiline strings correctly | Nadrieril | 1 | -0/+0 |
| 2019-03-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-15 | Update spec submodule and add new tests | Nadrieril | 1 | -0/+0 |
| 2019-03-13 | Update spec submodule | Nadrieril | 1 | -0/+0 |
| 2019-03-11 | Update dhall-lang and reactivate prelude tests | Nadrieril | 1 | -0/+0 |
