Skip to content

Pull requests: BasisResearch/effectful

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Extend distribution reduction to cover non-enumerable distributions
#755 opened Aug 11, 2026 by jfeser Contributor 5/5 Loading…
Add partial evaluation rule for Monoid.plus
#754 opened Aug 7, 2026 by jfeser Contributor 3/5 Loading…
Generalize ReduceEqualityMaskRange
#742 opened Jul 31, 2026 by jfeser Contributor 2/5 Loading…
Add argmin that can be factored
#735 opened Jul 29, 2026 by jfeser Contributor 4/5 Loading…
Add ReduceGroundCartesianProduct
#731 opened Jul 28, 2026 by eb8680 Contributor Loading…
Simplify cartesian-product inversion with a peeled row
#730 opened Jul 28, 2026 by eb8680 Contributor Loading…
Add generator-comprehension syntax for Monoid
#727 opened Jul 28, 2026 by eb8680 Contributor 2/2 Loading…
Dynamic Effect Type Inference
#717 opened Jul 19, 2026 by datvo06 Contributor Draft
Add tail call fwd interface
#708 opened Jul 7, 2026 by jfeser Contributor Loading…
Rewrite handlers.llm module module:llm
#694 opened Jun 20, 2026 by eb8680 Contributor Draft
10
Add support in evaluate for builtin iterator types
#680 opened Jun 10, 2026 by eb8680 Contributor Draft
Staging branch for weighted
#656 opened May 6, 2026 by jfeser Contributor 1/2 Draft
Support typing.Self
#613 opened Mar 13, 2026 by eb8680 Contributor Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.