@hackage / lambda-sampler

Boltzmann sampler utilities for lambda calculus.

Latest1.1

About

Metadata

  • Last updated , by mbendkowski
  • License BSD-3-Clause
  • Maintained by: Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>

  • Lottery factor: 0

Links

Installation

Readme

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