@hackage / lambda-sampler

Boltzmann sampler utilities for lambda calculus.