diff options
author | Nadrieril | 2020-01-29 21:29:53 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 21:29:53 +0000 |
commit | 26d4975a4c94c2b9fd0c075ad94c2588e3cf24e8 (patch) | |
tree | bca94cbb8f2b9ca8f92f0d2dd97aae5a05c5019f /dhall/src/semantics/core | |
parent | db6c09f33c3c794e4b6ec8a7aa80978d945a9d7a (diff) |
Use NameEnv in tyexpr_to_expr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions