Skip to content
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.

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

Work through delta vs cumulative lattice handling #927

Closed
jhellerstein opened this issue Oct 9, 2023 · 2 comments
Closed

Work through delta vs cumulative lattice handling #927

jhellerstein opened this issue Oct 9, 2023 · 2 comments
Assignees
Labels
P0 Highest priority
Milestone

Comments

@jhellerstein
Copy link
Contributor

jhellerstein commented Oct 9, 2023

  • Need a holistic design here.
  • Maybe the KVS example drives this naturally?
@jhellerstein
Copy link
Contributor Author

  • Demux and Filter on non-atoms feel fraught and confusing. When are they monotone? What does it mean for predicates on cumulatives to be monotone?

@jhellerstein
Copy link
Contributor Author

The work on Singletons completes this discussion. #1133

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
P0 Highest priority
Projects
None yet
Development

No branches or pull requests

2 participants