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/tests/type-errors/unit/UnionTypeMixedKinds.txt | |
parent | bd1eb36503aa6e03532fefcfd0c4f27eb62c99d2 (diff) |
Normalize more expressions
Diffstat (limited to 'dhall/tests/type-errors/unit/UnionTypeMixedKinds.txt')
0 files changed, 0 insertions, 0 deletions