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/mod.rs | |
parent | 6c90d356c9a4a5bbeb88f25ad0ab499ba1503eae (diff) |
Remove extra types stored in Value
Diffstat (limited to 'dhall/src/semantics/tck/mod.rs')
0 files changed, 0 insertions, 0 deletions