| Commit message (Expand) | Author | Files | Lines |
2019-12-27 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-24 | Extend merge to work on Optionals | Nadrieril | 1 | -0/+0 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-23 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-23 | Add two new Integer builtins | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-22 | Implement parsing for record completion | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-12-22 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-09-20 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-09-20 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-08-31 | Update dhall-lang submodule | Nadrieril | 1 | -0/+0 |
2019-08-31 | Don't URL-decode path segments | Nadrieril | 1 | -0/+0 |
2019-08-20 | Standardize records of mixed kinds | Nadrieril | 1 | -0/+0 |
2019-08-12 | Remove grammar workaround | Nadrieril | 1 | -0/+0 |
2019-08-12 | Fix a test | Nadrieril | 1 | -0/+0 |
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 |