summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/SortInLet.dhall (follow)
Commit message (Expand)AuthorAgeFilesLines
* Upstream all local testsNadrieril2020-03-101-1/+0
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-0/+1