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.