Re: Battle-plan for CTFE

[Stefan Koch via Digitalmars-d-announce]

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.