summaryrefslogtreecommitdiff
path: root/dhall/src/syntax
diff options
context:
space:
mode:
authorNadrieril2020-01-25 13:51:24 +0000
committerNadrieril2020-01-25 13:52:08 +0000
commit574fb56e87c1a71dc8d7efbff2789d3cfabdc529 (patch)
treecd425a1cb351eee7f3d412a7da0cadf4e552fc31 /dhall/src/syntax
parent8c64ae33149db4edaaa89d2d187baf10a2b9f8bf (diff)
More typecheck
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions