diff options
| author | Nadrieril | 2020-02-09 11:58:11 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
| commit | 5688ed654eee258bf8ffc8761ce693c73a0242d5 (patch) | |
| tree | fa9240d0feb37260749ebae76f41a178a1fdd4ad /dhall/src/semantics/tck/env.rs | |
| parent | 6c90d356c9a4a5bbeb88f25ad0ab499ba1503eae (diff) | |
Remove extra types stored in Value
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
0 files changed, 0 insertions, 0 deletions