summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove most TyExpr from normalizationNadrieril2020-02-099-18/+18
* Move ui outputs to a sensible placeNadrieril2020-02-09101-0/+577