Janno/test 21247#2

Draft

Janno wants to merge 2 commits into

skylabs-masterfrom

janno/test-21247

Commits on Nov 4, 2025

Bake the NonLogical run in Logic_monad.run.

ppedrot
authored and
Janno
committed
Collapse NonLogical thunks in the logic monad.

ppedrot
authored and
Janno
committed