summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/SortInLet.dhall (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-03-10Upstream all local testsNadrieril1-1/+0
See https://github.com/dhall-lang/dhall-lang/pull/933
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-0/+1