diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 23:57:35 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 23:57:35 -0700 |
commit | 7a86aab6b034dafe36635178b277393cb5a2abb8 (patch) | |
tree | 81fd3a3ce47afc08505fc975237a4fccaf89ce98 /.hgignore | |
parent | 2142e51d713394d384b0f33c1189f633dcbe301a (diff) |
Add one more wish: it would be nice to be able to prove exists b: bool :: b
This is an issue because splitting `exists b: bool :: b || !b` produces two
quantifiers that we don't know how to prove.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions