diff options
author | Nadrieril | 2019-03-09 15:36:39 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-09 15:36:39 +0100 |
commit | a0ac45ccc6bd0168f05626fdf1886560006fcda1 (patch) | |
tree | 7206261d31918bf55abebf5c68b58843f3950904 /dhall_core/src/context.rs | |
parent | 383c45439ef41136aac5e05b721c804f9e0d954f (diff) |
Use new Label type everywhere
Diffstat (limited to 'dhall_core/src/context.rs')
0 files changed, 0 insertions, 0 deletions