summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2019-04-07 12:04:53 +0200
committerNadrieril2019-04-07 12:04:53 +0200
commitb1906923a59e9313c4c9e32f37e4c86f2040cc1f (patch)
treedeaeb9b235a412c6fde9360769058cd3cbab6eb5 /dhall/tests
parentc461548c32f8cb3ee2db5ade88ae4f91b3838ab5 (diff)
More typecheck
Diffstat (limited to 'dhall/tests')
0 files changed, 0 insertions, 0 deletions