Skip to content

Add primitive body typecheck helpers#881

Merged
saulshanabrook merged 12 commits into
egraphs-good:mainfrom
saulshanabrook:codex/split-primitive-body-runtime-apis
Jun 14, 2026
Merged

Add primitive body typecheck helpers#881
saulshanabrook merged 12 commits into
egraphs-good:mainfrom
saulshanabrook:codex/split-primitive-body-runtime-apis

Return errors for direct unstable-fn preparation

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

Annotations

1 warning
build
succeeded Jun 2, 2026 in 25s