Issues · BasisResearch/effectful · GitHub

Labels Milestones New issue

`Operation` should unify with `Callable`

#669

· jfeser opened

on May 27, 2026

`_DistributionTerm.expand` and `.to_event` return `_ArrayTerm` instead of `Distribution`, breaking standard NumPyro vectorization idiom

#666

· datvo06 opened

on May 26, 2026

Supporting Refinement Type in conjunction with Effect type for stronger security emphasis

#664

· datvo06 opened

on May 25, 2026

#651 breaks operations that take `dict[str, T]`

#662

· jfeser opened

on May 13, 2026

Provide implementation of ClaimCheck in effectful

#660

· kiranandcode opened

on May 11, 2026

Provide implementation of "Generate and Organize (G&O)," methodology in effectful

#654

· kiranandcode opened

on May 2, 2026

Dataclass method operations being incorrectly freshened

#652

· jfeser opened

on Apr 27, 2026

lazy signature property doesn't work well with typing.TYPE_CHECKING

#636

· yiyunliu opened

on Apr 13, 2026

Clarify evaluation semantics of shared terms

#633

· jfeser opened

on Apr 9, 2026

Write a Gentle Tutorial

#627

· DanWaxman opened

on Apr 2, 2026

Term construction fails on dataclass arguments

#624

· jfeser opened

on Mar 25, 2026

Support Sketch-based Program Synthesis

#616

· datvo06 opened

on Mar 17, 2026