New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make it possible to declare countably infinite supports #50

Open

longouyang opened this issue Feb 21, 2015 · 1 comment

Member

longouyang commented Feb 21, 2015

So we can do things like truncated enumeration over Poisson.

Contributor

ngoodman commented Feb 21, 2015

The natural way to do this would be to allow support streams, or support functions that return the nth element of support (or null).

We would need to change the enumeration code a bit, since at the moment it adds all sport elements to the queue when it reaches an ERP.

-N

On Feb 21, 2015, at 10:47 AM, Long Ouyang [email protected] wrote:

So we can do things like enumerate over Poisson.

—
Reply to this email directly or view it on GitHub.

null-a mentioned this issue

Implement HMC #81

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment