Implementing Pure Functions

Walter Bright newshound2 at digitalmars.com
Fri Jun 17 09:18:49 PDT 2011


On 6/17/2011 4:27 AM, Don wrote:
> That'd probably work if the compiler already had a theorem prover -- but it
> doesn't.


I've tried out the theorem prover in Spec#. It only works in trivial cases.



More information about the Digitalmars-d mailing list