summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase
diff options
context:
space:
mode:
authorNadrieril2019-12-27 18:28:33 +0000
committerNadrieril2020-01-17 10:06:00 +0000
commit4dc195c8d8a2ef03621fb73d15df2c66ad68be2c (patch)
treeab6e305e09eb5e104cfa31811da68440dd88a578 /dhall/src/semantics/phase
parent8cbec8c75d9e52091bdfe28b60b6ee698d9c1392 (diff)
Use binder ids for Value equality
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions