diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:31:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 16:31:46 +0100 |
commit | 5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a (patch) | |
tree | 90ee539e72196a2f870bada3ff3454ca0ddafe95 /README.md | |
parent | 0e0dd6ee036c333cd3026917e696cf37996af341 (diff) | |
download | verismith-5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a.tar.gz verismith-5fe3cbc3ba41cb7bfd9f4be737b0c5bc94d7e24a.zip |
Remove Maybe from equivalence check
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions