summaryrefslogtreecommitdiff
path: root/dhall/src/operations/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Implement type checking for With opBasile Henry2020-11-011-1/+50
* spec: Enable `with` optimizationsNadrieril2020-09-141-1/+1
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-101-3/+3
* Split operations module into submodulesNadrieril2020-04-071-0/+510