summaryrefslogtreecommitdiff
path: root/dhall/tests/common (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-19Add travis integrationNadrieril1-11/+15
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-4/+1
2019-03-17Use Rc consistently everywhereNadrieril1-9/+9
2019-03-15Split different tests features into their own filesNadrieril1-0/+121