summaryrefslogtreecommitdiff
path: root/dhall/src/operations (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-02Refactor following PR reviewBasile Henry2-29/+20
2020-11-01Handle partially abstract withBasile Henry1-8/+29
2020-11-01Implement normalization for With opBasile Henry1-2/+43
2020-11-01Implement type checking for With opBasile Henry1-1/+50
2020-09-14spec: Enable `with` optimizationsNadrieril3-2/+5
2020-06-25spec: fix precedence of `===` and `with`Nadrieril1-2/+2
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2-5/+5
2020-04-07Split operations module into submodulesNadrieril4-0/+919