summaryrefslogtreecommitdiff
path: root/dhall/tests/import
diff options
context:
space:
mode:
authorNadrieril2020-04-06 17:51:53 +0100
committerNadrieril2020-04-06 18:33:50 +0100
commit531fdb1757a97a3accc8e836a1ff3a3977c37bfe (patch)
tree5bafd0d0c7b0289eece0ebffb4684b0f37f9837e /dhall/tests/import
parent08e1d8ece4314b56d64fa08595c2e043b97896d1 (diff)
Factor out operations in typecheck
Diffstat (limited to 'dhall/tests/import')
0 files changed, 0 insertions, 0 deletions