# The lambda-sampler package

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

## Properties

Versions | 1.0 |
---|---|

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

License | BSD3 |

Copyright | (c) 2016 Maciej Bendkowski |

Author | Maciej Bendkowski |

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

Stability | experimental |

Category | Data |

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

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

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

Uploaded | Sat Nov 26 15:59:21 UTC 2016 by mbendkowski |

Distributions | NixOS:1.0 |

Downloads | 35 total (5 in the last 30 days) |

Votes | |

Status | Docs available [build log] Last success reported on 2016-11-26 [all 1 reports] |

## Downloads

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