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/syntax | |
| parent | 3182c121815857c0b2b3c057f1d2944c51332cdc (diff) | |
Implement basic env-based normalization for Value-based TyExpr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions