Re: Software Assurance Reference Dataset

[Walter Bright via Digitalmars-d]

On 7/21/2014 3:25 PM, Timon Gehr wrote:

The example just uses the ST Monad which is quite similar to weakly pure
statements in D.

D doesn't have weakly pure statements - it has weakly pure functions.