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

Validate a submit_solution answer against its declared return type
#756 opened Aug 13, 2026 by datvo06 Contributor Loading…
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! Filter pull requests by the default branch with base:master.