nondeterminism-1.4: A monad and monad transformer for nondeterministic computations.

nondeterminism-1.4: A monad and monad transformer for nondeterministic computations.

Nondeterministic computations

Signatures

Modules