diff options
| author | Nadrieril | 2020-01-24 17:08:05 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 17:08:05 +0000 |
| commit | ee3a5e08e005c54cb839278c95920a147a356d2d (patch) | |
| tree | ef91177461c9a0d32c05c6fd27a94bc7022b27d8 /dhall/src/semantics/tck/tyexpr.rs | |
| parent | 700ff482fbff8960bc0e792fec6fd538c5428d70 (diff) | |
Disable runtime type checks
Diffstat (limited to 'dhall/src/semantics/tck/tyexpr.rs')
0 files changed, 0 insertions, 0 deletions