summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/success (unfollow)
Commit message (Expand)AuthorFilesLines
2020-11-02tests: add regression tests for `with` kind inferenceNadrieril2-0/+2
2020-03-10Upstream all local testsNadrieril12-21/+0
2020-03-05Add a lot of import testsNadrieril3-0/+11
2020-03-05Add a bunch of `as Location` unit testsNadrieril2-0/+2
2020-03-05Add a bunch of testsNadrieril8-0/+8