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.

Reply via email to