diff options
| author | Nadrieril | 2019-12-27 18:28:33 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-17 10:06:00 +0000 |
| commit | 4dc195c8d8a2ef03621fb73d15df2c66ad68be2c (patch) | |
| tree | ab6e305e09eb5e104cfa31811da68440dd88a578 /dhall/src/semantics/phase | |
| parent | 8cbec8c75d9e52091bdfe28b60b6ee698d9c1392 (diff) | |
Use binder ids for Value equality
Diffstat (limited to 'dhall/src/semantics/phase')
0 files changed, 0 insertions, 0 deletions