Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |