@hackage lambda-sampler1.0

Boltzmann sampler utilities for lambda calculus.

Categories
License
BSD-3-Clause
Maintainer
Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>
Links
Versions
- 1.1 Sun, 13 Aug 2017
- 1.0 Sat, 26 Nov 2016

Installation
In your cabal file:
Dependencies (4)
- base >=4.7 && <5
- mtl >=2.2
- transformers >=0.4
- MonadRandom >=0.4
Dependents (1)
@hackage/acme-everything

Uniform generation of plain and closed lambda terms in the de Bruijn notation.