Skip to content

Add partial evaluation rule for Monoid.plus - #754

Open
jfeser wants to merge 2 commits into
jf-weighted-eq-elimfrom
jf-monoid-plus-partial
Open

Add partial evaluation rule for Monoid.plus#754
jfeser wants to merge 2 commits into
jf-weighted-eq-elimfrom
jf-monoid-plus-partial

evaluate eager arrays too

4158c1f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test-llm (3.14, gpt-4o-mini)
succeeded Aug 12, 2026 in 10m 9s