The latest version of lambda-sampler is 1.1-0.
lambda-sampler
Version 1.0 revision 0 uploaded by mbendkowski.
Package meta
- Synopsis
- Boltzmann sampler utilities for lambda calculus.
- Description
Uniform generation of plain and closed lambda terms in the de Bruijn notation.
- Author
- Maciej Bendkowski
- Bug reports
- https://github.com/maciej-bendkowski/lambda-sampler/issues
- Category
- Data
- Copyright
- (c) 2016 Maciej Bendkowski
- Homepage
- https://github.com/maciej-bendkowski/lambda-sampler
- Maintainer
- Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>
- Package URL
- n/a
- Stability
- experimental