summaryrefslogtreecommitdiff
path: root/dhall/tests/normalization (follow)
Commit message (Collapse)AuthorAgeFilesLines
* tests: add some testsNadrieril2020-11-058-0/+10
|
* Move Label escaping out of its Display implNadrieril2020-04-092-0/+2
|
* Upstream all local testsNadrieril2020-03-1012-12/+0
| | | | See https://github.com/dhall-lang/dhall-lang/pull/933
* Add a bunch of testsNadrieril2020-03-0512-0/+12