Skip to content

Add eager merge container primitives#918

Closed
saulshanabrook wants to merge 14 commits into
egraphs-good:mainfrom
saulshanabrook:codex/eager-merge-containers
Closed

Add eager merge container primitives#918
saulshanabrook wants to merge 14 commits into
egraphs-good:mainfrom
saulshanabrook:codex/eager-merge-containers

Commits

Commits on Jun 5, 2026