The lambda-sampler package

[ Tags: bsd3, data, library ] [ Propose Tags ]

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

Properties

Versions 1.0, 1.1
Dependencies base (>=4.7 && <5), MonadRandom (>=0.4), mtl (>=2.2), transformers (>=0.4) [details]
License BSD3
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 repository head: git clone https://github.com/maciej-bendkowski/lambda-sampler
Uploaded Sun Aug 13 12:00:12 UTC 2017 by mbendkowski
Distributions NixOS:1.1
Downloads 120 total (13 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-08-13 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees