@hackage lambda-sampler1.1

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 (0)
Dependents (1)
@hackage/acme-everything

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