Skip to content

Only allow side-effects within termination.#499

Open
Laimiux wants to merge 1 commit into
masterfrom
laimonas/simplify-terminate
Open

Only allow side-effects within termination.#499
Laimiux wants to merge 1 commit into
masterfrom
laimonas/simplify-terminate

Commits

Commits on Mar 2, 2026