summaryrefslogtreecommitdiff
path: root/dhall/tests/common (follow)
Commit message (Expand)AuthorAgeFilesLines
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-4/+1
* Use Rc consistently everywhereNadrieril2019-03-171-9/+9
* Split different tests features into their own filesNadrieril2019-03-151-0/+121