diff options
| author | Nadrieril | 2019-05-05 00:17:07 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-05 00:17:07 +0200 |
| commit | dadcd9aa595bf3f469514ccb586eace61a9c6b03 (patch) | |
| tree | 00c366d36d2ca2dd028c6bc4d58c0c6d85144df2 /dhall/src/traits | |
| parent | e8560d0dcb6c8051e2059f369258ec4bf07879f3 (diff) | |
Use alpha-normalization in equivalence checking
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions