Data.Lambda.Random

Closed h-shallow lambda terms

closedLambda

closedLambdaIO

Filter samplers for closed h-shallow lambda terms

filterClosed

filterClosedIO

Plain lambda terms

plainLambda

plainLambdaIO

Filter samplers for plain lambda terms

filterPlain

filterPlainIO