News for hackers. Stuff that matters.
Re:Introducing Cosette – a SQL solver for checking semantic ... by lukaseder on Friday July 21, 2017 @04:40AM (#14818996)
Yes, I understood later on that you're not supporting union yet. Would have been nice, though, there are quite some caveats when trying to transform distinct / union into one another... :)

Btw, another parser error happened when I indented the code, e.g. pasting the indented code from Hackernews here into your tool. The parser then complains about \r or something like that.

Re:Introducing Cosette – a SQL solver for checking semantic ... by LaPrometheus on Tuesday July 25, 2017 @01:49AM (#14845401)
Please try again now :)