summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-01-24 17:08:05 +0000
committerNadrieril2020-01-24 17:08:05 +0000
commitee3a5e08e005c54cb839278c95920a147a356d2d (patch)
treeef91177461c9a0d32c05c6fd27a94bc7022b27d8 /dhall/src/semantics/tck
parent700ff482fbff8960bc0e792fec6fd538c5428d70 (diff)
Disable runtime type checks
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions