Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 1 | -498/+0 |
* | Update dhall-lang submodule | Nadrieril | 2019-05-02 | 1 | -4/+24 |
* | Update dhall-lang submodule | Nadrieril | 2019-05-02 | 1 | -4/+6 |
* | An empty optional value is purely semantic | Nadrieril | 2019-04-20 | 1 | -8/+3 |
* | A union constructor is a purely semantic value | Nadrieril | 2019-04-19 | 1 | -10/+0 |
* | Make App() only store one argument | Nadrieril | 2019-04-19 | 1 | -10/+3 |
* | Normalize union constructors | Nadrieril | 2019-04-17 | 1 | -2/+12 |
* | Prepare for nullary union variants | Nadrieril | 2019-04-16 | 1 | -2/+9 |
* | Handle empty optionals correctly | Nadrieril | 2019-04-15 | 1 | -0/+8 |
* | Rework Expr printer with better separation of concerns | Nadrieril | 2019-04-13 | 1 | -142/+136 |
* | `Some` is not a builtin, it's a keyword | Nadrieril | 2019-04-11 | 1 | -1/+0 |
* | clippy | Nadrieril | 2019-04-08 | 1 | -1/+1 |
* | Make Expr generic in Label | Nadrieril | 2019-03-31 | 1 | -1/+1 |
* | Remove evil Deref impl | Nadrieril | 2019-03-31 | 1 | -0/+10 |
* | Move recursion out of Expr | Nadrieril | 2019-03-31 | 1 | -4/+4 |
* | Make SubExpr a newtype | Nadrieril | 2019-03-31 | 1 | -0/+6 |
* | Parser import hash and headers | Nadrieril | 2019-03-24 | 1 | -2/+21 |
* | Fix printer putting unnecessary parens | Nadrieril | 2019-03-24 | 1 | -1/+1 |
* | Refactor printer | Nadrieril | 2019-03-24 | 1 | -210/+225 |
* | Handle merge and record projection | Nadrieril | 2019-03-23 | 1 | -0/+5 |
* | Parse unicode escapes in string | Nadrieril | 2019-03-23 | 1 | -7/+13 |
* | Handle quoted labels | Nadrieril | 2019-03-22 | 1 | -0/+15 |
* | Parse a lot more of the import types | Nadrieril | 2019-03-22 | 1 | -1/+48 |
* | Improve import handling in parser | Nadrieril | 2019-03-21 | 1 | -1/+13 |
* | Follow the spec for handling Doubles | Nadrieril | 2019-03-21 | 1 | -1/+17 |
* | oops | Nadrieril | 2019-03-21 | 1 | -0/+329 |