summaryrefslogtreecommitdiff
path: root/dhall/src/operations/normalization.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-12-07Thread cx through normalizationNadrieril1-3/+3
2020-11-03Normalize `with` by mutation.Nadrieril1-52/+24
2020-11-03Try to keep ownership of `Nir`s when convenientNadrieril1-54/+51
2020-11-02Refactor following PR reviewBasile Henry1-15/+10
2020-11-01Handle partially abstract withBasile Henry1-8/+29
2020-11-01Implement normalization for With opBasile Henry1-2/+43
2020-09-14spec: Enable `with` optimizationsNadrieril1-1/+1
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril1-2/+2
2020-04-07Split operations module into submodulesNadrieril1-0/+306