homepage: https://github.com/maciej-bendkowski/lambda-sampler
changelog-type: ''
hash: 67cb547c05910a0efbbcb2c652e24af2b6d641375280c3234222d2bef9a6d597
test-bench-deps:
  test-framework: ! '>=0.8'
  base: ! '>=4.7 && <5'
  test-framework-quickcheck2: ! '>=0.3'
  lambda-sampler: -any
  QuickCheck: ! '>=2.9'
maintainer: Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>
synopsis: Boltzmann sampler utilities for lambda calculus.
changelog: ''
basic-deps:
  MonadRandom: ! '>=0.4'
  base: ! '>=4.7 && <5'
  mtl: ! '>=2.2'
  transformers: ! '>=0.4'
all-versions:
- '1.0'
author: Maciej Bendkowski
latest: '1.0'
description-type: haddock
description: ! 'Uniform generation of plain and closed lambda terms

  in the de Bruijn notation.'
license-name: BSD3

homepage: https://github.com/maciej-bendkowski/lambda-sampler
changelog-type: ''
hash: 4bb1fc8a7e663cc920db4b88df8903a62f83de549c9acfe28b4f13ce8d5d0529
test-bench-deps:
  test-framework: ! '>=0.8'
  base: ! '>=4.7 && <5'
  test-framework-quickcheck2: ! '>=0.3'
  lambda-sampler: -any
  QuickCheck: ! '>=2.9'
maintainer: Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>
synopsis: Boltzmann sampler utilities for lambda calculus.
changelog: ''
basic-deps:
  MonadRandom: ! '>=0.4'
  base: ! '>=4.7 && <5'
  mtl: ! '>=2.2'
  transformers: ! '>=0.4'
all-versions:
- '1.0'
- '1.1'
author: Maciej Bendkowski
latest: '1.1'
description-type: haddock
description: ! 'Uniform generation of plain and closed lambda terms

  in the de Bruijn notation.'
license-name: BSD3

Update from Hackage at 2017-08-13T12:06:51Z
Update from Hackage at 2017-08-13T12:06:51Z
