Open GoogleCodeExporter opened 9 years ago
Problem simplification doesn't currently introduce lambdas for foralls; if it
did, this kind of thing would happen automatically. Is there any reason we
wouldn't want to do this?
Original comment by adamgundry
on 7 Sep 2010 at 3:56
Original issue reported on code.google.com by
pedag...@gmail.com
on 7 Sep 2010 at 3:21