Repository navigation

fix(automation): restore folded fun_prop clients on rc2 - #1657

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

fix/fun-prop-folded-1654-codex

Oct 30, 2026

Merged

fix(automation): restore folded fun_prop clients on rc2#1657
SamuelSchlesinger merged 2 commits into
mainfrom
fix/fun-prop-folded-1654-codex

Commits on Oct 30, 2026
- fix(automation): restore folded fun_prop clients on rc2
  SamuelSchlesinger
  committed
  2de3968
- doc(automation): explain simp rotation normal forms
  SamuelSchlesinger
  committed
  c57307c