diff options
author | Nadrieril | 2019-04-25 14:27:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-25 14:27:15 +0200 |
commit | 550ddaa95469478ce9c331da501e62534f5e2d1b (patch) | |
tree | 5ed67f849008c5d9aafa1f9b359761ead38b1b72 /dhall-lang | |
parent | ff1bee1b115a5b9528be621502719cc4faeffaee (diff) |
Revert "Try property testing against reference implementation"
This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions