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