Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Normalize lazily | Nadrieril | 2019-03-11 | 1 | -166/+212 |
| | | | | Closes #7 | ||||
* | Obey clippy lints | Nadrieril | 2019-03-09 | 1 | -1/+1 |
| | | | | Closes #14 | ||||
* | Remove the pervasive Label type parameter | Nadrieril | 2019-03-09 | 1 | -3/+3 |
| | | | | Closes #1 | ||||
* | Use new Label type everywhere | Nadrieril | 2019-03-09 | 1 | -11/+9 |
| | |||||
* | A whole new bunch of tests now pass ! | Nadrieril | 2019-03-09 | 1 | -1/+1 |
| | |||||
* | Rename dhall! to dhall_expr! for clarity | Nadrieril | 2019-03-09 | 1 | -5/+5 |
| | |||||
* | Clean up some of the mess | Nadrieril | 2019-03-08 | 1 | -11/+9 |
| | |||||
* | Rename Expr back to its true name | Nadrieril | 2019-03-08 | 1 | -5/+5 |
| | |||||
* | Make labels non-Copy | Nadrieril | 2019-03-08 | 1 | -5/+5 |
| | |||||
* | Slowly propagate the new type parameter throughout the codebase | Nadrieril | 2019-03-08 | 1 | -22/+31 |
| | |||||
* | Make Expr generic in its type of labels | Nadrieril | 2019-03-08 | 1 | -1/+1 |
| | |||||
* | rustfmt | Nadrieril | 2019-03-06 | 1 | -31/+41 |
| | |||||
* | Start parsing imports | Nadrieril | 2019-03-06 | 1 | -1/+1 |
| | |||||
* | Merge dhall_normalize back into dhall; that was unnecessary | Nadrieril | 2019-03-06 | 1 | -0/+181 |