# lambda-sampler: Boltzmann sampler utilities for lambda calculus.

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

Versions [faq] | 1.0, 1.1 |
---|---|

Dependencies | base (>=4.7 && <5), MonadRandom (>=0.4), mtl (>=2.2), transformers (>=0.4) [details] |

License | BSD-3-Clause |

Copyright | (c) 2016-17 Maciej Bendkowski |

Author | Maciej Bendkowski |

Maintainer | Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl> |

Category | Data |

Home page | https://github.com/maciej-bendkowski/lambda-sampler |

Bug tracker | https://github.com/maciej-bendkowski/lambda-sampler/issues |

Source repo | head: git clone https://github.com/maciej-bendkowski/lambda-sampler |

Uploaded | by mbendkowski at Sun Aug 13 12:00:12 UTC 2017 |

Distributions | NixOS:1.1 |

Downloads | 580 total (38 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2017-08-13 [all 1 reports] |

## Modules

[Index]

## Downloads

- lambda-sampler-1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)