summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs
diff options
context:
space:
mode:
authorNadrieril2019-05-05 00:17:07 +0200
committerNadrieril2019-05-05 00:17:07 +0200
commitdadcd9aa595bf3f469514ccb586eace61a9c6b03 (patch)
tree00c366d36d2ca2dd028c6bc4d58c0c6d85144df2 /dhall/src/main.rs
parente8560d0dcb6c8051e2059f369258ec4bf07879f3 (diff)
Use alpha-normalization in equivalence checking
Diffstat (limited to 'dhall/src/main.rs')
0 files changed, 0 insertions, 0 deletions