diff options
| author | Nadrieril | 2020-01-24 17:07:56 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 17:07:56 +0000 |
| commit | 700ff482fbff8960bc0e792fec6fd538c5428d70 (patch) | |
| tree | 61e28733bcddd1287a7eef64f89d2d04181038df /dhall/src/semantics/tck | |
| parent | bd1eb36503aa6e03532fefcfd0c4f27eb62c99d2 (diff) | |
Normalize more expressions
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions