diff options
| author | Nadrieril | 2020-04-06 18:33:58 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 18:33:58 +0100 |
| commit | 7efdbd11db0f54f065d4dc41f0cab4b158d4515c (patch) | |
| tree | cff31e7b4b52b2b51490f0ee06a8dbcc46bdcefa /dhall/src/semantics/tck/typecheck.rs | |
| parent | 531fdb1757a97a3accc8e836a1ff3a3977c37bfe (diff) | |
Factor our operations in normalization
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions