diff options
| author | Nadrieril | 2020-04-06 18:47:17 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 18:47:17 +0100 |
| commit | 28c36acc8af1e3ece9512c98aa9fd70fedf1b252 (patch) | |
| tree | f13b512a17e1c6593cfe41e1cfd69e460ba0f51d /dhall/src/semantics/tck/typecheck.rs | |
| parent | 7efdbd11db0f54f065d4dc41f0cab4b158d4515c (diff) | |
Avoid a few allocations
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions