diff options
| author | Nadrieril | 2019-08-19 21:52:26 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-19 21:52:42 +0200 |
| commit | 26a1fd0f0861038a76a0f9b09eaef16d808d4139 (patch) | |
| tree | e89770d190a73ce5f1bae7798b77c02b598faed2 /dhall_syntax | |
| parent | 29016b78736dca857e4e7f7c4dc68ed5e30c28bb (diff) | |
Use TypedValue instead of Typed in normalize and typecheck
Now Typed is only used in dhall::phase, similarly to
Parsed/Resolved/Normalized
Diffstat (limited to 'dhall_syntax')
0 files changed, 0 insertions, 0 deletions