On Sunday, 15 May 2016 at 14:56:02 UTC, Ola Fosheim Grøstad wrote: > > Well, this looks really bad. But a solver would get you much > more than an interpreter. E.g. proving that asserts always hold > etc. You want it ? Write it.