summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/success (follow)
Commit message (Expand)AuthorAgeFilesLines
* tests: add regression tests for `with` kind inferenceNadrieril2020-11-022-0/+2
* Upstream all local testsNadrieril2020-03-1012-21/+0
* Add a lot of import testsNadrieril2020-03-053-0/+11
* Add a bunch of `as Location` unit testsNadrieril2020-03-052-0/+2
* Add a bunch of testsNadrieril2020-03-058-0/+8