diff options
author | Nadrieril | 2020-02-17 18:12:44 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-17 18:12:44 +0000 |
commit | 2f65c02a995f6b6d4c755197fc074782f6bb100d (patch) | |
tree | ebe6373d5344b90f1a3e77b1a772e1ccadc6be81 /dhall/src/semantics/tck/env.rs | |
parent | 73571249f9bcf8efe84708a4a9f8665af62e44f0 (diff) |
Rename TyExpr to Tir
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
0 files changed, 0 insertions, 0 deletions