diff options
| author | Nadrieril | 2019-05-05 00:43:41 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-05 00:43:41 +0200 |
| commit | 8e4182f26b20b28f60fb0c21b3e08e19314de9a0 (patch) | |
| tree | afcb15e7567275b0af228099e60e1a7adc50be57 /dhall/src/errors/InvalidOptionalElement.txt | |
| parent | dadcd9aa595bf3f469514ccb586eace61a9c6b03 (diff) | |
Make Value equality be alpha-equivalence
Closes #66, #65
Diffstat (limited to 'dhall/src/errors/InvalidOptionalElement.txt')
0 files changed, 0 insertions, 0 deletions