Data.Lambda.Random.MixedSystem

System

data MixedSystem a

boltzmannSystem

Boltzmann samplers

data MixedSampler a b

boltzmannSampler

rejectionSampler