diff options
author | Nadrieril | 2020-01-23 22:22:01 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-23 22:22:01 +0000 |
commit | 9e7cc77b6a25569b61340f39a2058e23cdc4a437 (patch) | |
tree | e9a5e7b9290f95ee5a013a372f32d4ab7805d7c5 /dhall/src/semantics/phase/typecheck.rs | |
parent | 3182c121815857c0b2b3c057f1d2944c51332cdc (diff) |
Implement basic env-based normalization for Value-based TyExpr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions