summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-03-22 22:59:11 +0000
committerNadrieril2020-03-31 21:45:32 +0100
commit25c879e802e90a447e10e5f9a0f522217e34f20d (patch)
tree8e2bfbb5d01c70567f38ffb9ecdfa0e86a293f70 /dhall/src/semantics/tck
parent3a5f2044954aae7278f16e30561a81626dba6923 (diff)
Document more
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions