summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-11Normalize lazilyNadrieril1-166/+212
2019-03-09Obey clippy lintsNadrieril1-1/+1
2019-03-09Remove the pervasive Label type parameterNadrieril1-3/+3
2019-03-09Use new Label type everywhereNadrieril1-11/+9
2019-03-09A whole new bunch of tests now pass !Nadrieril1-1/+1
2019-03-09Rename dhall! to dhall_expr! for clarityNadrieril1-5/+5
2019-03-08Clean up some of the messNadrieril1-11/+9
2019-03-08Rename Expr back to its true nameNadrieril1-5/+5
2019-03-08Make labels non-CopyNadrieril1-5/+5
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-22/+31
2019-03-08Make Expr generic in its type of labelsNadrieril1-1/+1
2019-03-06rustfmtNadrieril1-31/+41
2019-03-06Start parsing importsNadrieril1-1/+1
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril1-0/+0
2019-03-06Handle correctly captured variables in dhall!Nadrieril1-4/+1
2019-03-06Remove more clutter in normalizeNadrieril1-7/+7
2019-03-06rustfmtNadrieril1-3/+9
2019-03-06Considerably remove clutter in normalizeNadrieril1-139/+39
2019-03-06Simplify normalization using dhall! macroNadrieril1-46/+38
2019-03-06Add proc_macro the generated dhall expressionsNadrieril1-5/+5
2019-03-06Split-off normalization into its own crateNadrieril1-0/+286