summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-02-15 19:05:26 +0000
committerNadrieril2020-02-15 19:05:26 +0000
commitd65d639ff93691adbf0a208edb99736003bc64bd (patch)
tree39a0a59fdb2deaa26f202d3141b2e6c779533377 /dhall/tests
parent51cf6a28fa56031dbeae0ff378f0ef84eff7fd3e (diff)
Factor some tck code to avoid needing get_type_tyexpr
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions