summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Normalize lazilyNadrieril2019-03-111-166/+212
| | | | Closes #7
* Obey clippy lintsNadrieril2019-03-091-1/+1
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-3/+3
| | | | Closes #1
* Use new Label type everywhereNadrieril2019-03-091-11/+9
|
* A whole new bunch of tests now pass !Nadrieril2019-03-091-1/+1
|
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-5/+5
|
* Clean up some of the messNadrieril2019-03-081-11/+9
|
* Rename Expr back to its true nameNadrieril2019-03-081-5/+5
|
* Make labels non-CopyNadrieril2019-03-081-5/+5
|
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-22/+31
|
* Make Expr generic in its type of labelsNadrieril2019-03-081-1/+1
|
* rustfmtNadrieril2019-03-061-31/+41
|
* Start parsing importsNadrieril2019-03-061-1/+1
|
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-061-0/+181