summaryrefslogtreecommitdiff
path: root/dhall/src/operations/normalization.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Normalize `with` by mutation.Nadrieril2020-11-031-52/+24
* Try to keep ownership of `Nir`s when convenientNadrieril2020-11-031-54/+51
* Refactor following PR reviewBasile Henry2020-11-021-15/+10
* Handle partially abstract withBasile Henry2020-11-011-8/+29
* Implement normalization for With opBasile Henry2020-11-011-2/+43
* spec: Enable `with` optimizationsNadrieril2020-09-141-1/+1
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-101-2/+2
* Split operations module into submodulesNadrieril2020-04-071-0/+306