summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove most TyExpr from normalizationNadrieril2020-02-099-18/+18
* Move ui outputs to a sensible placeNadrieril2020-02-09105-0/+600
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-0/+1