diff options
author | Nadrieril | 2020-03-18 22:28:41 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
commit | a1f370cb68974c1e69f8f85345e91ec763b23ae2 (patch) | |
tree | db1be2a231e29f57ad820634b3b487637b663313 /dhall/src/semantics/resolve/mod.rs | |
parent | fa89e9cb319b353332c9e835944e7f86a6604c42 (diff) |
Expose simple::Val/Ty properly in the API
Diffstat (limited to 'dhall/src/semantics/resolve/mod.rs')
0 files changed, 0 insertions, 0 deletions